TTBCR_EPD1 (reference) in projects: optee_os-3.20.0

Searched refs:TTBCR_EPD1 (Results 1 – 2 of 2) sorted by relevance

/optee_os-3.20.0/core/arch/arm/include/
A D	arm32.h	`124 #define TTBCR_EPD1 BIT32(23) macro`
/optee_os-3.20.0/core/arch/arm/mm/
A D	core_mmu_lpae.c	`861 ttbcr \|= TTBCR_EPD1; /* Disable the use of TTBR1 */ in core_init_mmu_regs()`

Completed in 6 milliseconds