Searched defs:pte_idx (Results 1 – 3 of 3) sorted by relevance
431 uintptr_t pte_idx = pte_index(va); in create_pte_mapping() local
2080 u32 pte_idx; member
2437 int pte_idx = 0; in insert_pages() local