Constant x86::msr::IA32_VMX_CR4_FIXED0

pub const IA32_VMX_CR4_FIXED0: u32 = 0x488;

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