Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/include/mm/
H A Dcore_mmu_arch.h95 uint32_t ttbcr;
104 uint32_t ttbcr;
/optee_os/core/arch/arm/mm/
H A Dcore_mmu_lpae.c1098 uint32_t ttbcr = 0; in core_init_mmu_regs() local
1115 ttbcr = TTBCR_EAE; in core_init_mmu_regs()
1116 ttbcr |= TTBCR_XRGNX_WBWA << TTBCR_IRGN0_SHIFT; in core_init_mmu_regs()
1117 ttbcr |= TTBCR_XRGNX_WBWA << TTBCR_ORGN0_SHIFT; in core_init_mmu_regs()
1118 ttbcr |= TTBCR_SHX_ISH << TTBCR_SH0_SHIFT; in core_init_mmu_regs()
1119 ttbcr |= TTBCR_EPD1; /* Disable the use of TTBR1 */ in core_init_mmu_regs()
1122 cfg->ttbcr = ttbcr; in core_init_mmu_regs()
H A Dcore_mmu_v7.c828 cfg->ttbcr = TTBCR_N_VALUE; in core_init_mmu_regs()