Symbol: vmmr_region_pfn_at
usr/src/uts/intel/io/vmm/sys/vmm_reservoir.h
33
pfn_t vmmr_region_pfn_at(vmmr_region_t *, uintptr_t);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
554
return (hat_kpm_pfn2va(vmmr_region_pfn_at(region, off)));
usr/src/uts/intel/io/vmm/vmm_vm.c
499
pfn = vmmr_region_pfn_at(region, off);