Searched defs:ptbl_idx (Results 1 – 1 of 1) sorted by relevance
863 unsigned int ptbl_idx = PTBL_IDX(va); in pte_remove() local925 unsigned int ptbl_idx = PTBL_IDX(va); in pte_enter() local1010 unsigned int ptbl_idx = PTBL_IDX(va); in pte_find() local