Searched refs:pmap_pte_set_86 (Results 1 – 3 of 3) sorted by relevance
313 u_int32_t pmap_pte_set_86(vaddr_t, paddr_t, u_int32_t);
664 pmap_pte_set_86(vaddr_t va, paddr_t pa, u_int32_t bits) in pmap_pte_set_86() function2835 pmap_pte_set_86;
693 pmap_pte_set_86((vaddr_t)vtopte(va), in pmap_bootstrap_pae()