Constant x86_64::msr::IA32_VMX_VMCS_ENUM

pub const IA32_VMX_VMCS_ENUM: u32 = 1162

Capability Reporting Register of VMCS Field Enumeration (R/O) See Appendix A.9, VMCS Enumeration (If CPUID.01H:ECX.[bit 9])