Symbol: pte2pfn
usr/src/uts/i86pc/vm/hat_pte.h
298
extern pfn_t pte2pfn(x86pte_t, level_t);
usr/src/uts/i86pc/vm/hat_pte.h
80
#define PTE2PFN(p, l) pte2pfn(p, l)