Searched refs:TCR_RES1 (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/arm/include/ | ||
| A D | arm64.h | 108 #define TCR_RES1 BIT32(31) macro |
| /optee_os/core/arch/arm/mm/ | ||
| A D | core_mmu_lpae.c | 893 tcr = TCR_RES1; in core_init_mmu_regs() |
Completed in 6 milliseconds