Searched defs:pte_idx (Results 1 – 5 of 5) sorted by relevance
238 int pte_idx = FIELD_GET(IVPU_MMU_PTE_INDEX_MASK, vpu_addr); in ivpu_mmu_context_map_page() local289 int pte_idx = FIELD_GET(IVPU_MMU_PTE_INDEX_MASK, vpu_addr); in ivpu_mmu_context_unmap_page() local329 int pte_idx = FIELD_GET(IVPU_MMU_PTE_INDEX_MASK, vpu_addr); in ivpu_mmu_context_set_page_ro() local340 int pte_idx = FIELD_GET(IVPU_MMU_PTE_INDEX_MASK, vpu_addr); in ivpu_mmu_context_split_page() local
117 int pte_idx = pte_index(vaddr); in populate_extra_pte() local
403 uintptr_t pte_idx = pte_index(va); in create_pte_mapping() local
2080 u32 pte_idx; member
2125 int pte_idx = 0; in insert_pages() local