Searched refs:archInfo (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/kernel/ |
| H A D | thread.h | 8 static inline word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
12 /* on aarch32 archInfo means 'has VCPU', see Arch_getSanitiseRegisterInfo below */
13 if (archInfo) {
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/kernel/ |
| H A D | thread.h | 9 static inline word_t CONST sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
12 if (archInfo) {
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ |
| H A D | thread.h | 15 word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo);
|
| /seL4-l4v-master/seL4/src/arch/x86/machine/ |
| H A D | registerset.c | 28 word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
|
| /seL4-l4v-master/seL4/src/api/ |
| H A D | faults.c | 77 bool_t archInfo; local
79 archInfo = Arch_getSanitiseRegisterInfo(receiver);
84 setRegister(receiver, r, sanitiseRegister(r, v, archInfo));
93 setRegister(receiver, r, sanitiseRegister(r, v, archInfo));
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 125 static inline word_t CONST sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
|
| /seL4-l4v-master/seL4/src/object/ |
| H A D | tcb.c | 1982 bool_t archInfo; local
1993 archInfo = Arch_getSanitiseRegisterInfo(dest);
1999 getSyscallArg(i + 2, buffer), archInfo));
2006 buffer), archInfo));
|
Completed in 57 milliseconds