Symbol: pmap_pte_set_pae
sys/arch/i386/i386/pmapae.c
717
pmap_pte_set_pae(va, pmap_pte_paddr_86(va), bits);
sys/arch/i386/i386/pmapae.c
798
pmap_pte_set_p = pmap_pte_set_pae;
sys/arch/i386/include/pmap.h
280
u_int32_t pmap_pte_set_pae(vaddr_t, paddr_t, u_int32_t);