--- src/VBox/HostDrivers/Support/SUPDrvInternal.h.orig 2016-07-18 11:56:19 UTC
--- src/VBox/HostDrivers/Support/SUPDrvInternal.h.orig 2018-06-29 13:15:51 UTC
+++ src/VBox/HostDrivers/Support/SUPDrvInternal.h
@@ -235,7 +235,7 @@
@@ -117,6 +117,8 @@
#include "SUPDrvIOC.h"
#include "SUPDrvIDC.h"
+#undef PVM
+#include <VBox/types.h>
@@ -208,7 +210,7 @@
# define SUPDRV_WITHOUT_MSR_PROBER
#endif