Symbol: set_pteval
usr/src/uts/i86pc/dboot/dboot_startkern.c
406
set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)
usr/src/uts/i86pc/vm/kboot_mmu.c
476
set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)
usr/src/uts/i86xpv/os/xen_mmu.c
118
set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)