Lines Matching refs:tcr
159 uint64_t tcr, \
169 write_tcr_el##_el(tcr); \
211 uint64_t mair, ttbr, tcr;
221 * Set TCR bits as well.
235 tcr = 64 - __builtin_ctzll(virtual_addr_space_size);
243 tcr |= TCR_SH_NON_SHAREABLE |
247 tcr |= TCR_SH_INNER_SHAREABLE |
263 tcr |= TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT);
264 enable_mmu_internal_el1(flags, mair, tcr, ttbr);
267 tcr |= TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT);
268 enable_mmu_internal_el3(flags, mair, tcr, ttbr);
