x86::msr::IA32_VMX_BASIC

pub const IA32_VMX_BASIC: u32 = 1152

Reporting Register of Basic VMX Capabilities (R/O) See Table 35-2. See Appendix A.1, Basic VMX Information (If CPUID.01H:ECX.[bit 9])