Searched refs:pte1_idx (Results 1 – 1 of 1) sorted by relevance
1722 u_int i, pte1_idx, pv_npg; in pmap_init() local1745 m->pindex = pte1_idx; in pmap_init()1747 pte1_idx += NPT2_IN_PG; in pmap_init()2478 uint32_t pte1_idx; in _pmap_allocpte2() local2484 pte1_idx = pte1_index(va); in _pmap_allocpte2()2530 u_int pte1_idx; in pmap_allocpte2() local2534 pte1_idx = pte1_index(va); in pmap_allocpte2()3577 uint32_t pte1_idx; in pmap_remove_kernel_pte1() local4554 u_int pte1_idx; in pmap_enter_quick_locked() local4579 pte1_idx); in pmap_enter_quick_locked()[all …]