Searched defs:SCTLR (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/src/arch/arm/64/
H A Dhead.S68 #define SCTLR sctlr_el2 define
70 #define SCTLR sctlr_el1 define
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/
H A Dmachine_pl2.h166 word_t SCTLR; local

Completed in 21 milliseconds