| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | syscalls.h | 67 register seL4_Word msg3 asm("x5") = mr3;
74 "+r"(msg3), "+r"(info)
89 register seL4_Word msg3 asm("x5") = mr3;
95 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
126 register seL4_Word msg3 asm("x5");
133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3),
143 *out_mr3 = msg3;
157 register seL4_Word msg3 asm("x5") = *in_out_mr3;
164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
174 *in_out_mr3 = msg3;
[all...] |
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | syscalls.h | 66 register seL4_Word msg3 asm("r5") = mr3;
73 "+r"(msg3), "+r"(info)
88 register seL4_Word msg3 asm("r5") = mr3;
94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
125 register seL4_Word msg3 asm("r5");
133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3),
143 *out_mr3 = msg3;
157 register seL4_Word msg3 asm("r5") = *in_out_mr3;
164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
174 *in_out_mr3 = msg3;
[all...] |
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | syscalls.h | 66 register seL4_Word msg3 asm("r5") = mr3;
73 "+r"(msg3), "+r"(info)
88 register seL4_Word msg3 asm("r5") = mr3;
94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
125 register seL4_Word msg3 asm("r5");
133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3),
143 *out_mr3 = msg3;
157 register seL4_Word msg3 asm("r5") = *in_out_mr3;
164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
174 *in_out_mr3 = msg3;
[all...] |
| /seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 35 register seL4_Word msg3 asm("a5") = mr3;
42 "+r"(msg3), "+r"(info)
57 register seL4_Word msg3 asm("a5") = mr3;
63 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
94 register seL4_Word msg3 asm("a5");
101 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3),
111 *out_mr3 = msg3;
137 register seL4_Word msg3 asm("a5") = *in_out_mr3;
144 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
154 *in_out_mr3 = msg3;
267 seL4_Word msg3; local
297 seL4_Word msg3 = 0; local
333 seL4_Word msg3; local
356 seL4_Word msg3 = seL4_GetMR(3); local
393 seL4_Word msg3 = 0; local
439 seL4_Word msg3; local
480 seL4_Word msg3 = 0; local
529 seL4_Word msg3; local
564 seL4_Word msg3 = 0; local
613 seL4_Word msg3; local
647 seL4_Word msg3 = 0; local
702 seL4_Word msg3; local
726 seL4_Word msg3 = 0; local
758 seL4_Word msg3; local
[all...] |
| /seL4-l4v-master/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 87 seL4_Word msg3; local
89 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
94 seL4_SetMR(3, msg3);
116 seL4_Word msg3 = 0; local
118 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
131 *mr3 = msg3;
152 seL4_Word msg3; local
154 arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY);
159 seL4_SetMR(3, msg3);
174 seL4_Word msg3 local
194 seL4_Word msg3 = 0; local
241 seL4_Word msg3; local
281 seL4_Word msg3 = 0; local
330 seL4_Word msg3; local
364 seL4_Word msg3 = 0; local
412 seL4_Word msg3; local
446 seL4_Word msg3 = 0; local
501 seL4_Word msg3; local
525 seL4_Word msg3 = 0; local
557 seL4_Word msg3; local
[all...] |
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls_sysenter.h | 23 seL4_Word msg2, seL4_Word msg3)
28 register seL4_Word mr3 asm("r15") = msg3;
49 seL4_Word msg3)
54 register seL4_Word mr3 asm("r15") = msg3;
22 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
48 x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
|
| H A D | syscalls_syscall.h | 22 seL4_Word msg2, seL4_Word msg3)
27 register seL4_Word mr3 asm("r15") = msg3;
47 seL4_Word msg3)
52 register seL4_Word mr3 asm("r15") = msg3;
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
46 x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
|
| 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, LIBSEL4_MCS_REPLY);
133 *mr3 = msg3;
202 seL4_Word msg3; local
204 x64_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
216 *mr3 = msg3;
276 seL4_Word msg3 = 0; local
288 msg3 = *mr3;
291 x64_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, 0);
303 *mr3 = msg3;
353 seL4_Word msg3 = 0; local
426 seL4_Word msg3 = 0; local
503 seL4_Word msg3 = 0; local
[all...] |
| /seL4-l4v-master/l4v/camkes/glue-proofs/ |
| H A D | RPCFrom.c | 1190 msg3
1229 msg3
1288 msg3
1368 msg3
1407 msg3
1466 msg3
1562 msg3
1606 msg3
1665 msg3
1753 msg3
[all...] |
| H A D | EventTo.c | 958 msg3
997 msg3
1056 msg3
1136 msg3
1175 msg3
1234 msg3
|
| H A D | RPCTo.c | 1078 msg3
1117 msg3
1176 msg3
1276 msg3
1320 msg3
1379 msg3
|
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 256 register seL4_Word msg3 asm("r5") = seL4_GetMR(3);
260 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3),
272 register seL4_Word msg3 asm("r5");
276 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), "=r"(info),
284 seL4_SetMR(3, msg3);
|