| /seL4-test-master/kernel/src/arch/arm/64/machine/ |
| H A D | registerset.c | 10 const register_t msgRegisters[] = { variable
15 sizeof(msgRegisters) / sizeof(msgRegisters[0]) == n_msgRegisters
|
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | registerset.c | 11 const register_t msgRegisters[] = { variable
16 sizeof(msgRegisters) / sizeof(msgRegisters[0]) == n_msgRegisters
|
| /seL4-test-master/kernel/src/arch/arm/32/machine/ |
| H A D | registerset.c | 10 const register_t msgRegisters[] = { variable
15 sizeof(msgRegisters) / sizeof(msgRegisters[0]) == n_msgRegisters
|
| /seL4-test-master/kernel/src/arch/x86/32/machine/ |
| H A D | registerset.c | 15 const register_t msgRegisters[] = { variable
23 sizeof(msgRegisters) / sizeof(msgRegisters[0]) == n_msgRegisters
|
| /seL4-test-master/kernel/src/arch/x86/64/machine/ |
| H A D | registerset.c | 12 const register_t msgRegisters[] = { variable
17 sizeof(msgRegisters) / sizeof(msgRegisters[0]) == n_msgRegisters
|
| /seL4-test-master/kernel/include/api/ |
| H A D | syscall.h | 41 return getRegister(NODE_STATE(ksCurThread), msgRegisters[i]);
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 113 extern const register_t msgRegisters[];
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 140 extern const register_t msgRegisters[];
|
| /seL4-test-master/kernel/src/api/ |
| H A D | faults.c | 83 word_t v = getRegister(sender, msgRegisters[i]);
104 setRegister(receiver, msgRegisters[i], getRegister(sender, fault_messages[id][i]));
166 n_instrs = getRegister(sender, msgRegisters[0]);
|
| /seL4-test-master/kernel/src/arch/arm/object/ |
| H A D | smmu.c | 35 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], faultStatus); local
36 setRegister(NODE_STATE(ksCurThread), msgRegisters[1], faultSyndrome_0); local
37 setRegister(NODE_STATE(ksCurThread), msgRegisters[2], faultSyndrome_1); local
330 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], faultStatus); local
331 setRegister(NODE_STATE(ksCurThread), msgRegisters[1], faultAddress); local
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 102 reg = msgRegisters[0] + i;
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 86 reg = msgRegisters[0] + i;
|
| /seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 88 extern const register_t msgRegisters[] VISIBLE;
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 231 extern const register_t msgRegisters[];
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 104 reg = msgRegisters[0] + i;
|
| /seL4-test-master/kernel/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 84 reg = msgRegisters[0] + i;
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 183 extern const register_t msgRegisters[];
|
| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | ioport.c | 200 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], res); local
|
| /seL4-test-master/kernel/include/object/ |
| H A D | tcb.h | 39 setRegister(receiver, msgRegisters[offset], reg);
|
| /seL4-test-master/kernel/src/object/ |
| H A D | tcb.c | 423 setRegister(receiver, msgRegisters[i],
424 getRegister(sender, msgRegisters[i]));
1942 setRegister(thread, msgRegisters[i],
1956 setRegister(thread, msgRegisters[i + n_frameRegisters],
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 1113 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 26 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2005 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1662 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], base); local
|