Symbol: vmmr_free
usr/src/uts/intel/io/vmm/sys/vmm_reservoir.h
34
void vmmr_free(vmmr_region_t *);
usr/src/uts/intel/io/vmm/vmm_vm.c
608
vmmr_free((vmmr_region_t *)vmo->vmo_data);