Symbol: vmmr_tp_destroy
usr/src/uts/intel/io/vmm/vmm_reservoir.c
463
vmmr_tp_destroy(&vmmr_free_tp);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
464
vmmr_tp_destroy(&vmmr_empty_tp);