| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | syscalls.h | 62 register seL4_Word msg3 asm("r5") = mr3;
69 "+r" (msg3), "+r" (info)
83 register seL4_Word msg3 asm("r5") = mr3;
89 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
120 register seL4_Word msg3 asm("r5");
126 : "=r" (msg0), "=r" (msg1), "=r" (msg2), "=r" (msg3),
136 *out_mr3 = msg3;
149 register seL4_Word msg3 asm("r5") = *in_out_mr3;
155 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
165 *in_out_mr3 = msg3;
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | syscalls.h | 62 register seL4_Word msg3 asm("x5") = mr3;
69 "+r" (msg3), "+r" (info)
83 register seL4_Word msg3 asm("x5") = mr3;
89 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
120 register seL4_Word msg3 asm("x5");
126 : "=r" (msg0), "=r" (msg1), "=r" (msg2), "=r" (msg3),
136 *out_mr3 = msg3;
149 register seL4_Word msg3 asm("x5") = *in_out_mr3;
155 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
165 *in_out_mr3 = msg3;
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | syscalls.h | 62 register seL4_Word msg3 asm("r5") = mr3;
69 "+r" (msg3), "+r" (info)
83 register seL4_Word msg3 asm("r5") = mr3;
89 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
120 register seL4_Word msg3 asm("r5");
126 : "=r" (msg0), "=r" (msg1), "=r" (msg2), "=r" (msg3),
136 *out_mr3 = msg3;
149 register seL4_Word msg3 asm("r5") = *in_out_mr3;
155 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
165 *in_out_mr3 = msg3;
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 89 seL4_Word msg3; local
91 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
96 seL4_SetMR(3, msg3);
114 seL4_Word msg3 = 0; local
116 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
129 *mr3 = msg3;
147 seL4_Word msg3; local
149 arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
154 seL4_SetMR(3, msg3);
170 seL4_Word msg3 local
191 seL4_Word msg3 = 0; local
234 seL4_Word msg3; local
267 seL4_Word msg3 = 0; local
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 38 register seL4_Word msg3 asm("a5") = mr3;
45 "+r" (msg3), "+r" (info)
60 register seL4_Word msg3 asm("a5") = mr3;
66 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
98 register seL4_Word msg3 asm("a5");
104 : "=r" (msg0), "=r" (msg1), "=r" (msg2), "=r" (msg3),
114 *out_mr3 = msg3;
142 register seL4_Word msg3 asm("a5") = *in_out_mr3;
148 : "+r" (msg0), "+r" (msg1), "+r" (msg2), "+r" (msg3),
158 *in_out_mr3 = msg3;
236 seL4_Word msg3; local
262 seL4_Word msg3 = 0; local
295 seL4_Word msg3; local
319 seL4_Word msg3 = seL4_GetMR(3); local
353 seL4_Word msg3 = 0; local
395 seL4_Word msg3; local
430 seL4_Word msg3 = 0; local
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls_syscall.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
26 register seL4_Word mr3 asm("r15") = msg3;
45 x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
50 register seL4_Word mr3 asm("r15") = msg3;
|
| H A D | syscalls_sysenter.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
26 register seL4_Word mr3 asm("r15") = msg3;
46 x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
51 register seL4_Word mr3 asm("r15") = msg3;
|
| H A D | syscalls.h | 119 seL4_Word msg3; local
121 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3);
133 *mr3 = msg3;
195 seL4_Word msg3 = 0; local
207 msg3 = *mr3;
210 x64_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3);
222 *mr3 = msg3;
261 seL4_Word msg3 = 0; local
273 msg3 = *mr3;
276 x64_sys_send_recv(seL4_SysReplyRecv, dest, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3);
[all...] |
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | RPCFrom.c | 1194 msg3
1233 msg3
1292 msg3
1372 msg3
1411 msg3
1470 msg3
1566 msg3
1610 msg3
1669 msg3
1757 msg3
[all...] |
| H A D | EventTo.c | 962 msg3
1001 msg3
1060 msg3
1140 msg3
1179 msg3
1238 msg3
|
| H A D | RPCTo.c | 1082 msg3
1121 msg3
1180 msg3
1280 msg3
1324 msg3
1383 msg3
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 260 register seL4_Word msg3 asm("r5") = seL4_GetMR(3);
264 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
276 register seL4_Word msg3 asm("r5");
280 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), "=r"(info),
288 seL4_SetMR(3, msg3);
|