Searched refs:msg0 (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dsyscalls.h63 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 Dsyscalls.h63 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 Dsyscalls.h64 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 Dsyscalls.h32 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 Dsyscalls.h84 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 Dsyscalls_sysenter.h22 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 Dsyscalls_syscall.h21 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 Dsyscalls.h116 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 Dsyscalls.h462 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...]

Completed in 157 milliseconds