/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);
|