x86::msr::IA32_VMX_CRO_FIXED1

pub const IA32_VMX_CRO_FIXED1: u32 = 1159

If CPUID.01H:ECX.[bit 5] = 1