Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/kernel/
A Dthread_a32.S384 bic r0, r0, #TTBCR_PD1
827 orr r0, r0, #TTBCR_PD1
889 orr r2, r6, #TTBCR_PD1
/optee_os/core/arch/arm/include/
A Darm32.h114 #define TTBCR_PD1 BIT32(5) macro

Completed in 4 milliseconds