Searched refs:idx_alias (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/arch/arm/mm/ |
| H A D | tee_pager.c | 1369 unsigned int idx_alias = 0; in pager_deploy_page() local
1375 idx_alias = core_mmu_va2idx(ti, (vaddr_t)va_alias); in pager_deploy_page()
1376 core_mmu_get_entry(ti, idx_alias, &pa_alias, &attr_alias); in pager_deploy_page()
1379 core_mmu_set_entry(ti, idx_alias, pa_alias, attr_alias); in pager_deploy_page()
1394 core_mmu_set_entry(ti, idx_alias, pa_alias, attr_alias); in pager_deploy_page()
|