Searched refs:pte1_idx (Results 1 – 1 of 1) sorted by relevance
1720 u_int i, pte1_idx, pv_npg; in pmap_init() local1743 m->pindex = pte1_idx; in pmap_init()1745 pte1_idx += NPT2_IN_PG; in pmap_init()2473 uint32_t pte1_idx; in _pmap_allocpte2() local2479 pte1_idx = pte1_index(va); in _pmap_allocpte2()2525 u_int pte1_idx; in pmap_allocpte2() local2529 pte1_idx = pte1_index(va); in pmap_allocpte2()3572 uint32_t pte1_idx; in pmap_remove_kernel_pte1() local4549 u_int pte1_idx; in pmap_enter_quick_locked() local4574 pte1_idx); in pmap_enter_quick_locked()[all …]