Searched refs:tcr_ps_bits (Results 1 – 2 of 2) sorted by relevance
31 static unsigned long long tcr_ps_bits; variable136 tcr_ps_bits = calc_physical_addr_size_bits(max_pa); in init_xlat_tables()223 TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT),226 TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT),
297 unsigned long long tcr_ps_bits = tcr_physical_addr_size_bits(max_pa); in setup_mmu_cfg() local304 tcr |= TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT); in setup_mmu_cfg()306 tcr |= TCR_EL2_RES1 | (tcr_ps_bits << TCR_EL2_PS_SHIFT); in setup_mmu_cfg()309 tcr |= TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT); in setup_mmu_cfg()
