/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | syscalls.h | 64 register seL4_Word msg1 asm("r3") = mr1; 72 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 86 register seL4_Word msg1 asm("r3") = mr1; 94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 123 register seL4_Word msg1 asm("r3"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 141 *out_mr1 = msg1; 155 register seL4_Word msg1 asm("r3") = *in_out_mr1; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 172 *in_out_mr1 = msg1; [all...] |
/seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | syscalls.h | 64 register seL4_Word msg1 asm("r3") = mr1; 72 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 86 register seL4_Word msg1 asm("r3") = mr1; 94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 123 register seL4_Word msg1 asm("r3"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 141 *out_mr1 = msg1; 155 register seL4_Word msg1 asm("r3") = *in_out_mr1; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 172 *in_out_mr1 = msg1; [all...] |
/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | syscalls.h | 65 register seL4_Word msg1 asm("x3") = mr1; 73 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 87 register seL4_Word msg1 asm("x3") = mr1; 95 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 124 register seL4_Word msg1 asm("x3"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 141 *out_mr1 = msg1; 155 register seL4_Word msg1 asm("x3") = *in_out_mr1; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 172 *in_out_mr1 = msg1; [all...] |
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | syscalls.h | 64 register seL4_Word msg1 asm("r3") = mr1; 72 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 86 register seL4_Word msg1 asm("r3") = mr1; 94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 123 register seL4_Word msg1 asm("r3"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 141 *out_mr1 = msg1; 155 register seL4_Word msg1 asm("r3") = *in_out_mr1; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 172 *in_out_mr1 = msg1; [all...] |
/seL4-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | syscalls.h | 64 register seL4_Word msg1 asm("r3") = mr1; 72 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 86 register seL4_Word msg1 asm("r3") = mr1; 94 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 123 register seL4_Word msg1 asm("r3"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 141 *out_mr1 = msg1; 155 register seL4_Word msg1 asm("r3") = *in_out_mr1; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 172 *in_out_mr1 = msg1; [all...] |
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | syscalls.h | 65 register seL4_Word msg1 asm("x3") = mr1; 73 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 87 register seL4_Word msg1 asm("x3") = mr1; 95 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 124 register seL4_Word msg1 asm("x3"); 133 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 141 *out_mr1 = msg1; 155 register seL4_Word msg1 asm("x3") = *in_out_mr1; 164 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 172 *in_out_mr1 = msg1; [all...] |
/seL4-refos-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 33 register seL4_Word msg1 asm("a3") = mr1; 41 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 55 register seL4_Word msg1 asm("a3") = mr1; 63 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 92 register seL4_Word msg1 asm("a3"); 101 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 109 *out_mr1 = msg1; 135 register seL4_Word msg1 asm("a3") = *in_out_mr1; 144 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 152 *in_out_mr1 = msg1; 265 seL4_Word msg1; local 295 seL4_Word msg1 = 0; local 331 seL4_Word msg1; local 354 seL4_Word msg1 = seL4_GetMR(1); local 391 seL4_Word msg1 = 0; local 437 seL4_Word msg1; local 478 seL4_Word msg1 = 0; local 527 seL4_Word msg1; local 562 seL4_Word msg1 = 0; local 611 seL4_Word msg1; local 645 seL4_Word msg1 = 0; local 700 seL4_Word msg1; local 724 seL4_Word msg1 = 0; local 756 seL4_Word msg1; local [all...] |
/seL4-refos-master/libs/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 33 register seL4_Word msg1 asm("a3") = mr1; 41 : "+r"(destptr), "+r"(msg0), "+r"(msg1), "+r"(msg2), 55 register seL4_Word msg1 asm("a3") = mr1; 63 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 92 register seL4_Word msg1 asm("a3"); 101 : "=r"(msg0), "=r"(msg1), "=r"(msg2), "=r"(msg3), 109 *out_mr1 = msg1; 135 register seL4_Word msg1 asm("a3") = *in_out_mr1; 144 : "+r"(msg0), "+r"(msg1), "+r"(msg2), "+r"(msg3), 152 *in_out_mr1 = msg1; 265 seL4_Word msg1; local 295 seL4_Word msg1 = 0; local 331 seL4_Word msg1; local 354 seL4_Word msg1 = seL4_GetMR(1); local 391 seL4_Word msg1 = 0; local 437 seL4_Word msg1; local 478 seL4_Word msg1 = 0; local 527 seL4_Word msg1; local 562 seL4_Word msg1 = 0; local 611 seL4_Word msg1; local 645 seL4_Word msg1 = 0; local 700 seL4_Word msg1; local 724 seL4_Word msg1 = 0; local 756 seL4_Word msg1; local [all...] |
/seL4-refos-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 85 seL4_Word msg1; local 89 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 92 seL4_SetMR(1, msg1); 114 seL4_Word msg1 = 0; local 118 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 125 *mr1 = msg1; 150 seL4_Word msg1; local 154 arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 157 seL4_SetMR(1, msg1); 172 seL4_Word msg1 local 192 seL4_Word msg1 = 0; local 239 seL4_Word msg1; local 279 seL4_Word msg1 = 0; local 328 seL4_Word msg1; local 362 seL4_Word msg1 = 0; local 410 seL4_Word msg1; local 444 seL4_Word msg1 = 0; local 499 seL4_Word msg1; local 523 seL4_Word msg1 = 0; local 555 seL4_Word msg1; local [all...] |
/seL4-refos-master/libs/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 85 seL4_Word msg1; local 89 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 92 seL4_SetMR(1, msg1); 114 seL4_Word msg1 = 0; local 118 arm_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 125 *mr1 = msg1; 150 seL4_Word msg1; local 154 arm_sys_recv(seL4_SysNBRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 157 seL4_SetMR(1, msg1); 172 seL4_Word msg1 local 192 seL4_Word msg1 = 0; local 239 seL4_Word msg1; local 279 seL4_Word msg1 = 0; local 328 seL4_Word msg1; local 362 seL4_Word msg1 = 0; local 410 seL4_Word msg1; local 444 seL4_Word msg1 = 0; local 499 seL4_Word msg1; local 523 seL4_Word msg1 = 0; local 555 seL4_Word msg1; local [all...] |
/seL4-refos-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 26 register seL4_Word mr1 asm("r8") = msg1; 48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 52 register seL4_Word mr1 asm("r8") = msg1;
|
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 25 register seL4_Word mr1 asm("r8") = msg1; 46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 50 register seL4_Word mr1 asm("r8") = msg1;
|
H A D | syscalls.h | 117 seL4_Word msg1; local 121 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 127 *mr1 = msg1; 200 seL4_Word msg1; local 204 x64_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0); 210 *mr1 = msg1; 274 seL4_Word msg1 = 0; local 282 msg1 = *mr1; 291 x64_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, 0); 297 *mr1 = msg1; 351 seL4_Word msg1 = 0; local 424 seL4_Word msg1 = 0; local 501 seL4_Word msg1 = 0; local [all...] |
/seL4-refos-master/libs/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 26 register seL4_Word mr1 asm("r8") = msg1; 48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 52 register seL4_Word mr1 asm("r8") = msg1;
|
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 25 register seL4_Word mr1 asm("r8") = msg1; 46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 50 register seL4_Word mr1 asm("r8") = msg1;
|
H A D | syscalls.h | 117 seL4_Word msg1; local 121 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, LIBSEL4_MCS_REPLY); 127 *mr1 = msg1; 200 seL4_Word msg1; local 204 x64_sys_recv(seL4_SysWait, src, &badge, &info.words[0], &msg0, &msg1, &msg2, &msg3, 0); 210 *mr1 = msg1; 274 seL4_Word msg1 = 0; local 282 msg1 = *mr1; 291 x64_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2, &msg3, 0); 297 *mr1 = msg1; 351 seL4_Word msg1 = 0; local 424 seL4_Word msg1 = 0; local 501 seL4_Word msg1 = 0; local [all...] |
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 463 LIBSEL4_UNUSED seL4_Word msg1 = 0; local 465 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, MCS_COND(reply, &msg1)); 473 *mr1 = msg1; 591 LIBSEL4_UNUSED seL4_Word msg1 = 0; local 599 msg1 = *mr1; 603 x86_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, MCS_COND(0, &msg1)); 610 *mr1 = msg1; 657 LIBSEL4_UNUSED seL4_Word msg1 = 0; local 665 msg1 = *mr1; 668 x86_sys_send_recv(seL4_SysReplyRecv, dest, &badge, msgInfo.words[0], &info.words[0], &msg0, MCS_COND(0, &msg1)); [all...] |
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 463 LIBSEL4_UNUSED seL4_Word msg1 = 0; local 465 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &msg0, MCS_COND(reply, &msg1)); 473 *mr1 = msg1; 591 LIBSEL4_UNUSED seL4_Word msg1 = 0; local 599 msg1 = *mr1; 603 x86_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, MCS_COND(0, &msg1)); 610 *mr1 = msg1; 657 LIBSEL4_UNUSED seL4_Word msg1 = 0; local 665 msg1 = *mr1; 668 x86_sys_send_recv(seL4_SysReplyRecv, dest, &badge, msgInfo.words[0], &info.words[0], &msg0, MCS_COND(0, &msg1)); [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | priest.c | 331 const char *msg1, *msg2; local 354 msg1 = "Infidel, you have entered Moloch's Sanctum!"; 359 msg1 = "You desecrate this place by your presence!"; 363 msg1 = buf; 366 verbalize(msg1);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | priest.c | 331 const char *msg1, *msg2; local 354 msg1 = "Infidel, you have entered Moloch's Sanctum!"; 359 msg1 = "You desecrate this place by your presence!"; 363 msg1 = buf; 366 verbalize(msg1);
|