Searched refs:TTBCR_EAE (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/arm/include/ | ||
| H A D | arm32.h | 110 #define TTBCR_EAE BIT32(31) macro |
| /optee_os/core/arch/arm/mm/ | ||
| H A D | core_mmu_lpae.c | 1115 ttbcr = TTBCR_EAE; in core_init_mmu_regs() |