Searched refs:ttbr (Results 1 – 3 of 3) sorted by relevance
| /lk-master/arch/arm/arm/ |
| A D | mmu.c | 219 uint32_t ttbr; in arch_mmu_context_switch() local
222 ttbr = MMU_TTBRx_FLAGS | (aspace->tt_phys); in arch_mmu_context_switch()
225 ttbr = 0; in arch_mmu_context_switch()
230 LTRACEF("ttbr 0x%x, ttbcr 0x%x\n", ttbr, ttbcr); in arch_mmu_context_switch()
231 arm_write_ttbr0(ttbr); in arch_mmu_context_switch()
|
| /lk-master/arch/arm64/ |
| A D | mmu.c | 618 uint64_t ttbr; in arch_mmu_context_switch() local
623 ttbr = ((uint64_t)MMU_ARM64_USER_ASID << 48) | aspace->tt_phys; in arch_mmu_context_switch()
624 ARM64_WRITE_SYSREG(ttbr0_el1, ttbr); in arch_mmu_context_switch()
627 TRACEF("ttbr 0x%llx, tcr 0x%llx\n", ttbr, tcr); in arch_mmu_context_switch()
|
| /lk-master/arch/arm/include/arch/ |
| A D | arm.h | 137 GEN_CP15_REG_FUNCS(ttbr, 0, c2, c0, 0);
|
Completed in 6 milliseconds