Symbol: IA32_VMX_EPT_VPID_INVEPT
usr/src/uts/intel/io/vmm/intel/vmx.c
162
IA32_VMX_EPT_VPID_INVEPT | \
usr/src/uts/intel/os/hma.c
506
if ((msr & IA32_VMX_EPT_VPID_INVEPT) != 0) {