Symbol: pte2mfn
usr/src/cmd/mdb/i86pc/modules/unix/i86mmu.c
1095
physaddr_t pa = mmu_ptob(pte2mfn(pte, curlevel));
usr/src/cmd/mdb/i86pc/modules/unix/i86mmu.c
418
mfn = pte2mfn(pte, level);
usr/src/cmd/mdb/i86pc/modules/unix/i86mmu.c
623
*mfnp = pte2mfn(pte, level);