Searched refs:tcr (Results 1 – 1 of 1) sorted by relevance
1193 uint64_t tcr = 0; in core_init_mmu_regs() local1213 tcr = TCR_RES1; in core_init_mmu_regs()1214 tcr |= TCR_XRGNX_WBWA << TCR_IRGN0_SHIFT; in core_init_mmu_regs()1215 tcr |= TCR_XRGNX_WBWA << TCR_ORGN0_SHIFT; in core_init_mmu_regs()1216 tcr |= TCR_SHX_ISH << TCR_SH0_SHIFT; in core_init_mmu_regs()1217 tcr |= ips << TCR_EL1_IPS_SHIFT; in core_init_mmu_regs()1218 tcr |= 64 - CFG_LPAE_ADDR_SPACE_BITS; in core_init_mmu_regs()1221 tcr |= TCR_EPD1; in core_init_mmu_regs()1227 cfg->tcr_el1 = tcr; in core_init_mmu_regs()