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