Searched defs:pte_idx (Results 1 – 3 of 3) sorted by relevance
117 int pte_idx = pte_index(vaddr); in populate_extra_pte() local
457 uintptr_t pte_idx = pte_index(va); in create_pte_mapping() local
2250 int pte_idx = 0; in insert_pages() local