Symbol: MSR_IA32_VMX_EPT_VPID_CAP
usr/src/uts/intel/io/vmm/intel/vmx.c
610
uint64_t ept_caps = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP);
usr/src/uts/intel/io/vmm/vmm_sol_ept.c
91
uint64_t ept_caps = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP);
usr/src/uts/intel/os/hma.c
505
msr = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP);