Searched refs:PTBL_IDX (Results 1 – 2 of 2) sorted by relevance
194 #define PTBL_IDX(va) (((va) & PTBL_MASK) >> PTBL_SHIFT) macro
863 unsigned int ptbl_idx = PTBL_IDX(va); in pte_remove()925 unsigned int ptbl_idx = PTBL_IDX(va); in pte_enter()1010 unsigned int ptbl_idx = PTBL_IDX(va); in pte_find()1040 pte = &(kernel_pmap->pm_pdir[PDIR_IDX(va)][PTBL_IDX(va)]); in kernel_pte_alloc()