Searched refs:sctlr (Results 1 - 3 of 3) sorted by relevance
| /seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/64/mode/ |
| H A D | assembler.h | 69 .macro enable_mmu sctlr tmp
70 mrs \tmp, \sctlr
74 msr \sctlr, \tmp variable
78 .macro disable_mmu sctlr tmp
79 mrs \tmp, \sctlr
83 msr \sctlr, \tmp variable
87 .macro disable_id_cache sctlr tmp
88 mrs \tmp, \sctlr
91 msr \sctlr, \tmp variable
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/ |
| H A D | machine_pl2.h | 166 static inline void setSCTLR(word_t sctlr) argument
168 asm volatile("mcr p15, 0, %0, c1, c0, 0" :: "r"(sctlr));
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | vcpu.h | 128 static inline void setSCTLR(word_t sctlr) argument
130 writeSystemControlRegister(sctlr);
|
Completed in 37 milliseconds