Index: /trunk/include/VBox/vmm/hm_vmx.h
===================================================================
--- /trunk/include/VBox/vmm/hm_vmx.h	(revision 80658)
+++ /trunk/include/VBox/vmm/hm_vmx.h	(revision 80659)
@@ -1452,4 +1452,7 @@
 /** VMCS (and related regions) memory type - Write back. */
 #define VMX_BASIC_MEM_TYPE_WB                                   6
+/** Width of physical addresses used for VMCS and associated memory regions
+ *  (1=32-bit, 0=processor's physical address width). */
+#define VMX_BASIC_PHYSADDR_WIDTH_32BIT                          RT_BIT_64(48)
 
 /** Bit fields for MSR_IA32_VMX_BASIC. */