/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | syscalls.h | 63 register seL4_Word msg0 asm("r2") = mr0; 72 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 85 register seL4_Word msg0 asm("r2") = mr0; 94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 122 register seL4_Word msg0 asm("r2"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 140 *out_mr0 = msg0; 154 register seL4_Word msg0 asm("r2") = *in_out_mr0; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 171 *in_out_mr0 = msg0; [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | syscalls.h | 63 register seL4_Word msg0 asm("r2") = mr0; 72 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 85 register seL4_Word msg0 asm("r2") = mr0; 94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 122 register seL4_Word msg0 asm("r2"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 140 *out_mr0 = msg0; 154 register seL4_Word msg0 asm("r2") = *in_out_mr0; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 171 *in_out_mr0 = msg0; [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | syscalls.h | 64 register seL4_Word msg0 asm("x2") = mr0; 73 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 86 register seL4_Word msg0 asm("x2") = mr0; 95 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 123 register seL4_Word msg0 asm("x2"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 140 *out_mr0 = msg0; 154 register seL4_Word msg0 asm("x2") = *in_out_mr0; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 171 *in_out_mr0 = msg0; [all...] |
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 32 register seL4_Word msg0 asm("a2") = mr0; 41 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 54 register seL4_Word msg0 asm("a2") = mr0; 63 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 91 register seL4_Word msg0 asm("a2"); 101 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 108 *out_mr0 = msg0; 134 register seL4_Word msg0 asm("a2") = *in_out_mr0; 144 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 151 *in_out_mr0 = msg0; 264 seL4_Word msg0; local 294 seL4_Word msg0 = 0; local 330 seL4_Word msg0; local 353 seL4_Word msg0 = seL4_GetMR(0); local 390 seL4_Word msg0 = 0; local 436 seL4_Word msg0; local 477 seL4_Word msg0 = 0; local 526 seL4_Word msg0; local 561 seL4_Word msg0 = 0; local 610 seL4_Word msg0; local 644 seL4_Word msg0 = 0; local 699 seL4_Word msg0; local 723 seL4_Word msg0 = 0; local 755 seL4_Word msg0; local [all...] |
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 84 seL4_Word msg0; local 89 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 91 seL4_SetMR(0, msg0); 113 seL4_Word msg0 = 0; local 118 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 122 *mr0 = msg0; 149 seL4_Word msg0; local 154 arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 156 seL4_SetMR(0, msg0); 171 seL4_Word msg0 local 191 seL4_Word msg0 = 0; local 238 seL4_Word msg0; local 278 seL4_Word msg0 = 0; local 327 seL4_Word msg0; local 361 seL4_Word msg0 = 0; local 409 seL4_Word msg0; local 443 seL4_Word msg0 = 0; local 498 seL4_Word msg0; local 522 seL4_Word msg0 = 0; local 554 seL4_Word msg0; local [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls_sysenter.h | 22 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument 25 register seL4_Word mr0 asm("r10") = msg0; 48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 51 register seL4_Word mr0 asm("r10") = msg0;
|
H A D | syscalls_syscall.h | 21 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument 24 register seL4_Word mr0 asm("r10") = msg0; 46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 49 register seL4_Word mr0 asm("r10") = msg0;
|
H A D | syscalls.h | 116 seL4_Word msg0; local 121 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 124 *mr0 = msg0; 199 seL4_Word msg0; local 204 x64_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0); 207 *mr0 = msg0; 273 seL4_Word msg0 = 0; local 279 msg0 = *mr0; 291 x64_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, 0); 294 *mr0 = msg0; 350 seL4_Word msg0 = 0; local 423 seL4_Word msg0 = 0; local 500 seL4_Word msg0 = 0; local [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 462 seL4_Word msg0 = 0; local 465 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, MCS_COND(reply, &msg1)); 468 *mr0 = msg0; 532 seL4_Word msg0 = 0; local 534 x86_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, 0); 537 *mr0 = msg0; 590 seL4_Word msg0 = 0; local 594 msg0 = *mr0; 603 x86_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, MCS_COND(0, &msg1)); 606 *mr0 = msg0; 656 seL4_Word msg0 = 0; local 714 seL4_Word msg0 = 0; local 760 seL4_Word msg0 = 0; local [all...] |