Searched refs:TCR_EL3_RES1 (Results 1 – 3 of 3) sorted by relevance
192 TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT),
267 tcr |= TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT); in enable_mmu_arch()
317 #define TCR_EL3_RES1 ((U(1) << 31) | (U(1) << 23)) macro