Index: /trunk/include/VBox/hwacc_vmx.h
===================================================================
--- /trunk/include/VBox/hwacc_vmx.h	(revision 32870)
+++ /trunk/include/VBox/hwacc_vmx.h	(revision 32871)
@@ -247,5 +247,5 @@
 
 /** Bits 21-51 - - EPT - Physical Page number of the next level. */
-#define EPT_PDE2M_PG_MASK       ( 0x000fffffffe00000ULL )
+#define EPT_PDE2M_PG_MASK       X86_PDE2M_PAE_PG_MASK
 
 /**