Some useful constants
Interrupt Request (IRQ) Codes
Virtual Machine Control Structure (VMCS) field IDs
VMX capability field values
VMX exit reasons