Symbol: vmmr_region_mem_at
usr/src/uts/intel/io/vmm/sys/vmm_reservoir.h
32
void *vmmr_region_mem_at(vmmr_region_t *, uintptr_t);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
593
bzero(vmmr_region_mem_at(region, off), PAGESIZE);