Index: /trunk/include/iprt/x86.h
===================================================================
--- /trunk/include/iprt/x86.h	(revision 91707)
+++ /trunk/include/iprt/x86.h	(revision 91708)
@@ -909,4 +909,6 @@
 /** Bits 12-51 - - AMD64 Page directory page number. */
 #define X86_CR3_AMD64_PAGE_MASK             UINT64_C(0x000ffffffffff000)
+/** Bits 12-47 - - Intel EPT Page directory page number. */
+#define X86_CR3_EPT_PAGE_MASK               UINT64_C(0x0000fffffffff000)
 /** @} */