Home
last modified time | relevance | path

Searched refs:core_mmu_idx2va (Results 1 – 4 of 4) sorted by relevance

/optee_os/core/arch/arm/mm/
A Dtee_pager.c247 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()
A Dcore_mmu.c1582 pg_info->va_base = core_mmu_idx2va(dir_info, idx); in set_pg_region()
/optee_os/core/arch/arm/include/mm/
A Dcore_mmu.h551 static inline vaddr_t core_mmu_idx2va(struct core_mmu_table_info *tbl_info, in core_mmu_idx2va() function
/optee_os/out/arm/core/
A Dtee.dmp17122 core_mmu_idx2va():

Completed in 142 milliseconds