Searched defs:pte_idx (Results 1 – 2 of 2) sorted by relevance
118 int pte_idx = pte_index(vaddr); in populate_extra_pte() local
2012 u32 pte_idx; member