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

/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h33 #define SCTLR_DEFAULT 0xc5187c macro
804 setSCTLR(SCTLR_DEFAULT);
832 vcpu_write_reg(vcpu, seL4_VCPUReg_SCTLR, SCTLR_DEFAULT);
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h33 #define SCTLR_DEFAULT 0xc5187c macro
804 setSCTLR(SCTLR_DEFAULT);
832 vcpu_write_reg(vcpu, seL4_VCPUReg_SCTLR, SCTLR_DEFAULT);
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h33 #define SCTLR_DEFAULT 0xc5187c macro
804 setSCTLR(SCTLR_DEFAULT);
832 vcpu_write_reg(vcpu, seL4_VCPUReg_SCTLR, SCTLR_DEFAULT);
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h46 #define SCTLR_DEFAULT SCTLR_EL1_NATIVE macro
620 setSCTLR(SCTLR_DEFAULT);

Completed in 32 milliseconds