Symbol: vmmr_destroy_pages
usr/src/uts/intel/io/vmm/vmm_reservoir.c
677
vmmr_destroy_pages(&destroy_span);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
723
vmmr_destroy_pages(span);