Home
last modified time | relevance | path

Searched refs:tcr_ps_bits (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a/lib/xlat_tables/aarch64/
A Dxlat_tables.c31 static unsigned long long tcr_ps_bits; variable
136 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),
/trusted-firmware-a/lib/xlat_tables_v2/aarch64/
A Dxlat_tables_arch.c298 unsigned long long tcr_ps_bits = tcr_physical_addr_size_bits(max_pa); in setup_mmu_cfg() local
305 tcr |= TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT); in setup_mmu_cfg()
307 tcr |= TCR_EL2_RES1 | (tcr_ps_bits << TCR_EL2_PS_SHIFT); in setup_mmu_cfg()
310 tcr |= TCR_EL3_RES1 | (tcr_ps_bits << TCR_EL3_PS_SHIFT); in setup_mmu_cfg()

Completed in 3 milliseconds