Symbol: get_pteval
usr/src/uts/i86pc/boot/boot_mmu.c
91
pteval = get_pteval(table, index);
usr/src/uts/i86pc/sys/mach_mmu.h
171
x86pte_t get_pteval(paddr_t, uint_t);