Searched refs:core_mmu_idx2va (Results 1 – 3 of 3) sorted by relevance
493 static inline vaddr_t core_mmu_idx2va(struct core_mmu_table_info *tbl_info, in core_mmu_idx2va() function
247 return (void *)core_mmu_idx2va(&ti, idx); in tee_pager_phys_to_virt()253 v = core_mmu_idx2va(&pager_tables[n].tbl_info, idx); in tee_pager_phys_to_virt()399 v = core_mmu_idx2va(&pt->tbl_info, idx); in tee_pager_set_alias_area()582 return (void *)core_mmu_idx2va(ti, idx); in pager_add_alias_page()
1898 pg_info->va_base = core_mmu_idx2va(dir_info, idx); in set_pg_region()