Symbol: vmmr_fini
usr/src/uts/intel/io/vmm/sys/vmm_reservoir.h
28
void vmmr_fini();
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
3540
vmmr_fini();
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
3557
vmmr_fini();