Changeset 54650 in vbox for trunk/src/VBox/Runtime/r0drv

Timestamp:

Mar 5, 2015 1:42:10 PM (10 years ago)

Author:

vboxsync

Message:

SUPDrv/VMMR0: properly handle the CR4 shadow register on Linux >= 4.0

File:

• trunk/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h (modified) (1 diff)

trunk/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h

@@ -141 +141 @@
 #endif
 
+/* for cr4_init_shadow() / cpu_tlbstate. */
+#if LINUX_VERSION_CODE >= KERNEL_VERSION(3, 20, 0)
+# include <asm/tlbflush.h>
+#endif
+
 #if LINUX_VERSION_CODE < KERNEL_VERSION(2, 6, 0)
 # ifndef page_to_pfn