Symbol: hma_vmx_vpid_free
usr/src/uts/intel/io/vmm/intel/vmx.c
397
hma_vmx_vpid_free((uint16_t)vpid);
usr/src/uts/intel/sys/hma.h
52
extern void hma_vmx_vpid_free(uint16_t);