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

/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h44 #define SCTLR_EL1_NATIVE (SCTLR_EL1 | SCTLR_EL1_C | SCTLR_EL1_I | SCTLR_EL1_UCI) macro
46 #define SCTLR_DEFAULT SCTLR_EL1_NATIVE
577 MSR(REG_SCTLR_EL1, SCTLR_EL1_NATIVE);

Completed in 29 milliseconds