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

Timestamp:

Jul 29, 2020 11:01:45 AM (5 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

139584

Message:

IPRT/the-linux-kernel.h: Need header for flush_tlb_all() now. bugref:9801

File:

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

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

@@ -177 +177 @@
 #endif
 
+/* for __flush_tlb_all() */
+#if LINUX_VERSION_CODE >= KERNEL_VERSION(2, 6, 28) && (defined(RT_ARCH_AMD64) || defined(RT_ARCH_X86))
+# include <asm/tlbflush.h>
+#endif
+
 #if LINUX_VERSION_CODE >= KERNEL_VERSION(3, 7, 0)
 # include <asm/smap.h>