Constant x86::msr::IA32_VMX_EPT_VPID_CAP

source · [−]
pub const IA32_VMX_EPT_VPID_CAP: u32 = 0x48c;
Expand description

If ( CPUID.01H:ECX.[bit 5], IA32_VMX_PROCBASED_C TLS[bit 63], and either IA32_VMX_PROCBASED_C TLS2[bit 33] or IA32_VMX_PROCBASED_C TLS2[bit 37])