x86::msr::IA32_VMX_CR0_FIXED1

pub const IA32_VMX_CR0_FIXED1: u32 = 1159

Capability Reporting Register of CR0 Bits Fixed to 1 (R/O) See Appendix A.7, VMX-Fixed Bits in CR0 (If CPUID.01H:ECX.[bit 9])