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

/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dsyscalls.h64 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-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dsyscalls.h64 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-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dsyscalls.h65 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-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h33 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-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h85 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-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
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 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
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 Dsyscalls.h117 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-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h463 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...]

Completed in 138 milliseconds