Symbol: vmp_get_pfn
usr/src/uts/intel/io/vmm/seg_vmm.c
320
pfn = vmp_get_pfn(vmp);
usr/src/uts/intel/io/vmm/sys/vmm_vm.h
78
pfn_t vmp_get_pfn(const vm_page_t *);
usr/src/uts/intel/io/vmm/vmm.c
1131
hpa = ((uintptr_t)vmp_get_pfn(vmp) << PAGESHIFT);