/seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/ |
H A D | read_global_array.c | 9 word_t msgRegisters[] = {0, 1, 2, 3, 4, 5}; variable 27 setRegister(receiver, msgRegisters[offset], reg);
|
/seL4-l4v-master/seL4/src/arch/riscv/machine/ |
H A D | registerset.c | 11 const register_t msgRegisters[] = { variable 16 sizeof(msgRegisters) / sizeof(msgRegisters[0]) == n_msgRegisters
|
/seL4-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/include/api/ |
H A D | syscall.h | 41 return getRegister(NODE_STATE(ksCurThread), msgRegisters[i]);
|
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/machine/ |
H A D | registerset.h | 113 extern const register_t msgRegisters[];
|
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/machine/ |
H A D | registerset.h | 140 extern const register_t msgRegisters[];
|
/seL4-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 102 reg = msgRegisters[0] + i;
|
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/fastpath/ |
H A D | fastpath.h | 86 reg = msgRegisters[0] + i;
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ |
H A D | registerset.h | 88 extern const register_t msgRegisters[] VISIBLE;
|
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 104 reg = msgRegisters[0] + i;
|
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/machine/ |
H A D | registerset.h | 231 extern const register_t msgRegisters[];
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/fastpath/ |
H A D | fastpath.h | 84 reg = msgRegisters[0] + i;
|
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/machine/ |
H A D | registerset.h | 183 extern const register_t msgRegisters[];
|
/seL4-l4v-master/seL4/src/arch/x86/object/ |
H A D | ioport.c | 200 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], res); local
|
/seL4-l4v-master/seL4/include/object/ |
H A D | tcb.h | 39 setRegister(receiver, msgRegisters[offset], reg);
|
/seL4-l4v-master/seL4/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-l4v-master/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 1113 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 26 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2005 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1662 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], base); local
|