Home
last modified time | relevance | path

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

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

Completed in 6 milliseconds