Searched refs:TCR_EPD1 (Results 1 – 2 of 2) sorted by relevance
| /optee_os-3.20.0/core/arch/arm/include/ | ||
| A D | arm64.h | 123 #define TCR_EPD1 BIT64(23) macro |
| /optee_os-3.20.0/core/arch/arm/mm/ | ||
| A D | core_mmu_lpae.c | 937 tcr |= TCR_EPD1; in core_init_mmu_regs() |
Completed in 7 milliseconds