Symbol: vpid_free
usr/src/uts/intel/io/vmm/intel/vmx.c
2991
vpid_free(vmx->state[i].vpid);
usr/src/uts/intel/io/vmm/intel/vmx.c
448
vpid_free(vpid[i]);