Home
last modified time | relevance | path

Searched refs:TTBCR_EPD1_BIT (Results 1 – 3 of 3) sorted by relevance

/trusted-firmware-a-3.7.0/lib/xlat_tables/aarch32/
Dxlat_tables.c107 ttbcr |= TTBCR_EPD1_BIT; in enable_mmu_svc_mon()
/trusted-firmware-a-3.7.0/lib/xlat_tables_v2/aarch32/
Dxlat_tables_arch.c199 ttbcr |= TTBCR_EPD1_BIT; in setup_mmu_cfg()
/trusted-firmware-a-3.7.0/include/arch/aarch32/
Darch.h365 #define TTBCR_EPD1_BIT (U(1) << 23) macro