Searched refs:tcr (Results 1 – 1 of 1) sorted by relevance
1192 uint64_t tcr = 0; in core_init_mmu_regs() local1212 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()