Symbol: map_pte
usr/src/uts/i86pc/dboot/dboot_startkern.c
453
map_pte(paddr_t table, uint_t index)
usr/src/uts/i86pc/vm/kboot_mmu.c
512
map_pte(paddr_t table, uint_t index)