x86::msr::IA32_VMX_EPT_VPID_CAP

pub const IA32_VMX_EPT_VPID_CAP: u32 = 1164

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])