Symbol: hma_vmx_vpid_alloc
usr/src/uts/intel/io/vmm/intel/vmx.c
424
tmp = hma_vmx_vpid_alloc();
usr/src/uts/intel/sys/hma.h
51
extern uint16_t hma_vmx_vpid_alloc(void);