• AddressSize : ia32_type.h
• GdtrOrIdtrInstructionIdentity : ia32_type.h
• HypercallNumber : util.h
• HyperPlatformBugCheck : common.h
• InterruptionType : ia32_type.h
• InterruptionVector : ia32_type.h
• InvEptType : ia32_type.h
• InvVpidType : ia32_type.h
• IoInstSizeOfAccess : ia32_type.h
• LdtrOrTrInstructionIdentity : ia32_type.h
• memory_type : ia32_type.h
• MovCrAccessType : ia32_type.h
• MovDrDirection : ia32_type.h
• Msr : ia32_type.h
• Scaling : ia32_type.h
• SegmentRegisters : ia32_type.h
• VmcsField : ia32_type.h
• VmxExitReason : ia32_type.h
• VmxInstructionError : ia32_type.h
• VmxStatus : util.h