x86::msr::IA32_VMX_MISC

pub const IA32_VMX_MISC: u32 = 1157

Reporting Register of Miscellaneous VMX Capabilities (R/O) See Appendix A.6, Miscellaneous Data (If CPUID.01H:ECX.[bit 9])