Searched refs:CONTROL_SA0 (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h18 #define CONTROL_SA0 4 /* Stack Alignment Check Enable for EL0 */ macro
/seL4-test-master/kernel/src/arch/arm/64/
H A Dhead.S49 BIT(CONTROL_SA0) | \

Completed in 96 milliseconds