x86::msr::IA32_VMX_VMFUNC [] [src]

pub const IA32_VMX_VMFUNC: u32 = 1169

If( CPUID.01H:ECX.[bit 5] = 1 and IA32_VMX_BASIC[bit 55] )