Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/mm/
H A Dcore_mmu_lpae.c1192 uint64_t tcr = 0; in core_init_mmu_regs() local
1212 tcr = TCR_RES1; in core_init_mmu_regs()
1213 tcr |= TCR_XRGNX_WBWA << TCR_IRGN0_SHIFT; in core_init_mmu_regs()
1214 tcr |= TCR_XRGNX_WBWA << TCR_ORGN0_SHIFT; in core_init_mmu_regs()
1215 tcr |= TCR_SHX_ISH << TCR_SH0_SHIFT; in core_init_mmu_regs()
1216 tcr |= ips << TCR_EL1_IPS_SHIFT; in core_init_mmu_regs()
1217 tcr |= 64 - CFG_LPAE_ADDR_SPACE_BITS; in core_init_mmu_regs()
1220 tcr |= TCR_EPD1; in core_init_mmu_regs()
1226 cfg->tcr_el1 = tcr; in core_init_mmu_regs()