Home
last modified time | relevance | path

Searched refs:pte_idx (Results 1 – 3 of 3) sorted by relevance

/arch/riscv/mm/
Dinit.c325 uintptr_t pte_idx = pte_index(va); in create_pte_mapping() local
329 if (pte_none(ptep[pte_idx])) in create_pte_mapping()
330 ptep[pte_idx] = pfn_pte(PFN_DOWN(pa), prot); in create_pte_mapping()
/arch/x86/mm/
Dinit_32.c120 int pte_idx = pte_index(vaddr); in populate_extra_pte() local
124 return one_page_table_init(pmd) + pte_idx; in populate_extra_pte()
/arch/sparc/kernel/
Dldc.c2080 u32 pte_idx; member
2091 sp->page_table[sp->pte_idx].mte = sp->mte_base | pa; in fill_cookies()
2099 this_cookie = make_cookie(sp->pte_idx, in fill_cookies()
2113 sp->pte_idx++; in fill_cookies()
2181 state.pte_idx = (base - iommu->page_table); in ldc_map_sg()
2223 state.pte_idx = (base - iommu->page_table); in ldc_map_single()