Index: /trunk/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h
===================================================================
--- /trunk/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h	(revision 39700)
+++ /trunk/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h	(revision 39701)
@@ -85,4 +85,5 @@
 #include <linux/mm.h>
 #include <linux/pagemap.h>
+#include <asm/pgtable.h>
 #include <linux/slab.h>
 #include <linux/time.h>