Symbol: kdi_mtop
usr/src/uts/i86pc/vm/hat_kdi.c
194
*pap = kdi_mtop(pte & PT_PADDR_LGPG);
usr/src/uts/i86pc/vm/hat_kdi.c
197
*pap = kdi_mtop(pte & PT_PADDR);