Symbol: sfmmu_kpm_vatopfn
usr/src/uts/sfmmu/vm/hat_sfmmu.c
7852
return (sfmmu_kpm_vatopfn(addr));
usr/src/uts/sfmmu/vm/hat_sfmmu.h
2366
extern pfn_t sfmmu_kpm_vatopfn(caddr_t);