IA32 VMX BASIC
Intel SDM Vol 3D A.1
MSR intel 0x480
bits 30:0
VMCS revision identifire
bit 31
always 0
bits 44:32 (mask 0x0001fff00000000)
size of VMCS regions and VMXON region
bits 47:45
reserved
bit 48
TODO
bit 49
TODO
bits 53:50
memory type
TODO
bit 54
TODO
bit 55
TODO
btis 63:56
reserved