Symbol: hma_vmx_invept_xcall
usr/src/uts/intel/os/hma.c
333
hma_vmx_invept_xcall);
usr/src/uts/intel/os/hma.c
450
CPUSET2BV(set), hma_vmx_invept_xcall);