Searched refs:tcr_ps_bits (Results 1 – 2 of 2) sorted by relevance
28 static unsigned long long tcr_ps_bits; variable109 tcr_ps_bits = calc_physical_addr_size_bits(max_pa); in init_xlat_tables()189 TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT),192 TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT),
255 unsigned long long tcr_ps_bits = calc_physical_addr_size_bits(max_pa); in enable_mmu_arch() local263 tcr |= TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT); in enable_mmu_arch()267 tcr |= TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT); in enable_mmu_arch()