Searched defs:pte_idx (Results 1 – 4 of 4) sorted by relevance
290 uintptr_t pte_idx = pte_index(va); in create_pte_mapping() local
120 int pte_idx = pte_index(vaddr); in populate_extra_pte() local
2080 u32 pte_idx; member
1794 int pte_idx = 0; in insert_pages() local