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