Symbol: hat_kpm_va2pfn
usr/src/uts/i86pc/vm/hat_i86.c
4812
pfn = hat_kpm_va2pfn(vaddr);
usr/src/uts/i86pc/vm/hat_i86.h
254
extern pfn_t hat_kpm_va2pfn(caddr_t);