| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 35 (mr2 != seL4_Null) ? *mr2 : 0, in seL4_SendWithMRs()
51 (mr2 != seL4_Null) ? *mr2 : 0, in seL4_NBSendWithMRs()
68 (mr2 != seL4_Null) ? *mr2 : 0, in seL4_ReplyWithMRs()
89 seL4_Word mr2; in seL4_Recv() local
130 *mr2 = msg2; in seL4_RecvWithMRs()
153 seL4_Word mr2; in seL4_NBRecv() local
177 seL4_Word mr2; in seL4_Wait() local
213 *mr2 = msg2; in seL4_WaitWithMRs()
232 seL4_Word mr2; in seL4_NBWait() local
285 msg2 = *mr2; in seL4_CallWithMRs()
[all …]
|
| A D | syscalls_syscall.h | 39 "r"(mr2), in x64_sys_send()
63 "r"(mr2), in x64_sys_reply()
90 register seL4_Word mr2 asm("r9"); in x64_sys_recv()
102 "=r"(mr2), in x64_sys_recv()
111 *out_mr2 = mr2; in x64_sys_recv()
132 "=r"(mr2), in x64_sys_send_recv()
140 "r"(mr2), in x64_sys_send_recv()
147 *in_out_mr2 = mr2; in x64_sys_send_recv()
170 "=r"(mr2), in x64_sys_nbsend_recv()
178 "r"(mr2), in x64_sys_nbsend_recv()
[all …]
|
| A D | syscalls_sysenter.h | 27 register seL4_Word mr2 asm("r9") = msg2; in x64_sys_send()
41 "r"(mr2), in x64_sys_send()
53 register seL4_Word mr2 asm("r9") = msg2; in x64_sys_reply()
66 "r"(mr2), in x64_sys_reply()
93 register seL4_Word mr2 asm("r9"); in x64_sys_recv()
106 "=r"(mr2), in x64_sys_recv()
116 *out_mr2 = mr2; in x64_sys_recv()
138 "=r"(mr2), in x64_sys_send_recv()
146 "r"(mr2), in x64_sys_send_recv()
154 *in_out_mr2 = mr2; in x64_sys_send_recv()
[all …]
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 31 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0, in seL4_SendWithMRs()
128 *mr2 = msg2; in seL4_RecvWithMRs()
204 msg2 = *mr2; in seL4_CallWithMRs()
220 *mr2 = msg2; in seL4_CallWithMRs()
290 msg2 = *mr2; in seL4_ReplyRecvWithMRs()
307 *mr2 = msg2; in seL4_ReplyRecvWithMRs()
373 msg2 = *mr2; in seL4_NBSendRecvWithMRs()
390 *mr2 = msg2; in seL4_NBSendRecvWithMRs()
455 msg2 = *mr2; in seL4_NBSendWaitWithMRs()
472 *mr2 = msg2; in seL4_NBSendWaitWithMRs()
[all …]
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 308 if (mr2 != seL4_Null) { in seL4_RecvWithMRs()
309 *mr2 = msg2; in seL4_RecvWithMRs()
402 msg2 = *mr2; in seL4_CallWithMRs()
418 *mr2 = msg2; in seL4_CallWithMRs()
489 msg2 = *mr2; in seL4_ReplyRecvWithMRs()
506 *mr2 = msg2; in seL4_ReplyRecvWithMRs()
573 msg2 = *mr2; in seL4_NBSendRecvWithMRs()
591 *mr2 = msg2; in seL4_NBSendRecvWithMRs()
656 msg2 = *mr2; in seL4_NBSendWaitWithMRs()
673 *mr2 = msg2; in seL4_NBSendWaitWithMRs()
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | syscalls.h | 57 seL4_Word mr2, seL4_Word mr3) in arm_sys_send() argument
65 register seL4_Word msg2 asm("r4") = mr2; in arm_sys_send()
79 … void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, in arm_sys_reply() argument
87 register seL4_Word msg2 asm("r4") = mr2; in arm_sys_reply()
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | syscalls.h | 58 seL4_Word mr2, seL4_Word mr3) in arm_sys_send() argument
66 register seL4_Word msg2 asm("x4") = mr2; in arm_sys_send()
80 … void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, in arm_sys_reply() argument
88 register seL4_Word msg2 asm("x4") = mr2; in arm_sys_reply()
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 34 LIBSEL4_UNUSED seL4_Word mr2) in x86_sys_send() argument
54 , "c"(mr2) in x86_sys_send()
60 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) in x86_sys_reply() argument
76 "c"(mr2) in x86_sys_reply()
212 …line void x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2) in x86_sys_send() argument
232 , "c"(mr2): in x86_sys_send()
239 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) in x86_sys_reply() argument
253 "c"(mr2) in x86_sys_reply()
|