Symbol: map_pte
usr/src/uts/i86pc/boot/boot_mmu.c
121
return (map_pte(table, index));
usr/src/uts/i86pc/sys/mach_mmu.h
175
x86pte_t *map_pte(paddr_t, uint_t);