Searched refs:tcr (Results 1 – 5 of 5) sorted by relevance
245 uint64_t mair, ttbr0, tcr; in setup_mmu_cfg() local272 tcr = (uint64_t)t0sz << TCR_T0SZ_SHIFT; in setup_mmu_cfg()280 tcr |= TCR_SH_NON_SHAREABLE | in setup_mmu_cfg()284 tcr |= TCR_SH_INNER_SHAREABLE | in setup_mmu_cfg()299 tcr |= TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT); in setup_mmu_cfg()301 tcr |= TCR_EL2_RES1 | (tcr_ps_bits << TCR_EL2_PS_SHIFT); in setup_mmu_cfg()304 tcr |= TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT); in setup_mmu_cfg()316 params[MMU_CFG_TCR] = tcr; in setup_mmu_cfg()
57 _msr tcr, \el, x2
152 uint64_t mair, tcr, ttbr; \175 tcr = TCR_SH_NON_SHAREABLE | \180 tcr = TCR_SH_INNER_SHAREABLE | \184 tcr |= _tcr_extra; \185 write_tcr_el##_el(tcr); \
283 uint32_t tcr; /* Tuning control */ member
119 BL31_SOURCES += lib/extensions/tcr/tcr2.c