Index: /trunk/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h
===================================================================
--- /trunk/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h	(revision 55910)
+++ /trunk/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h	(revision 55911)
@@ -384,4 +384,5 @@
  * @{ */
 #ifdef CONFIG_X86_SMAP
+# include <iprt/asm-amd64-x86.h>
 # define IPRT_X86_EFL_AC                    RT_BIT(18)
 # define IPRT_LINUX_SAVE_EFL_AC()           RTCCUINTREG fSavedEfl = ASMGetFlags();