Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/mm/
A Dcore_mmu_lpae.c471 uint64_t ttbr; in core_mmu_set_prtn() local
1154 uint64_t ttbr = 0; in core_mmu_set_user_map() local
1160 ttbr = read_ttbr0_64bit(); in core_mmu_set_user_map()
1163 write_ttbr0_64bit(ttbr); in core_mmu_set_user_map()
1175 ttbr |= ((uint64_t)map->asid << TTBR_ASID_SHIFT); in core_mmu_set_user_map()
1176 write_ttbr0_64bit(ttbr); in core_mmu_set_user_map()
1240 uint64_t ttbr = 0; in core_mmu_set_user_map() local
1246 ttbr = read_ttbr0_el1(); in core_mmu_set_user_map()
1249 write_ttbr0_el1(ttbr); in core_mmu_set_user_map()
1261 ttbr |= ((uint64_t)map->asid << TTBR_ASID_SHIFT); in core_mmu_set_user_map()
[all …]
A Dcore_mmu_v7.c760 cfg->ttbr = core_mmu_get_main_ttb_pa(&default_partition) | in core_init_mmu_regs()
/optee_os/core/arch/arm/include/mm/
A Dcore_mmu.h337 uint32_t ttbr;

Completed in 8 milliseconds