Searched refs:CPACR_D32DIS (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/arm/include/ | ||
| A D | arm32.h | 86 #define CPACR_D32DIS BIT32(30) macro |
| /optee_os/core/arch/arm/kernel/ | ||
| A D | boot.c | 162 cpacr &= ~(CPACR_ASEDIS | CPACR_D32DIS); in init_vfp_sec() |
Completed in 21 milliseconds