Searched refs:archInfo (Results 1 - 7 of 7) sorted by relevance
| /seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/kernel/ |
| H A D | thread.h | 15 sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
19 /* on aarch32 archInfo means 'has VCPU', see Arch_getSanitiseRegisterInfo below */
20 if (archInfo) {
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/kernel/ |
| H A D | thread.h | 15 sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
18 if (archInfo) {
|
| /seL4-mcs-10.1.1/include/arch/x86/arch/kernel/ |
| H A D | thread.h | 20 word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo);
|
| /seL4-mcs-10.1.1/src/arch/x86/machine/ |
| H A D | registerset.c | 33 word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
|
| /seL4-mcs-10.1.1/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 109 sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
|
| /seL4-mcs-10.1.1/src/api/ |
| H A D | faults.c | 83 bool_t archInfo; local
85 archInfo = Arch_getSanitiseRegisterInfo(receiver);
90 setRegister(receiver, r, sanitiseRegister(r, v, archInfo));
99 setRegister(receiver, r, sanitiseRegister(r, v, archInfo));
|
| /seL4-mcs-10.1.1/src/object/ |
| H A D | tcb.c | 1717 bool_t archInfo; local
1728 archInfo = Arch_getSanitiseRegisterInfo(dest);
1734 getSyscallArg(i + 2, buffer), archInfo));
1741 buffer), archInfo));
|
Completed in 103 milliseconds