| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls_syscall.h | 84 …c inline void x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, in x64_sys_recv() argument
99 "=S"(*out_info), in x64_sys_recv()
116 …seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Wor… in x64_sys_send_recv() argument
129 : "=S"(*out_info), in x64_sys_send_recv()
153 …seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_o… in x64_sys_nbsend_recv() argument
167 : "=S"(*out_info), in x64_sys_nbsend_recv()
|
| A D | syscalls_sysenter.h | 88 …c inline void x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, in x64_sys_recv() argument
103 "=S"(*out_info), in x64_sys_recv()
121 …seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Wor… in x64_sys_send_recv() argument
135 : "=S"(*out_info), in x64_sys_send_recv()
160 …seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_o… in x64_sys_nbsend_recv() argument
175 : "=S"(*out_info), in x64_sys_nbsend_recv()
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | syscalls.h | 115 …c inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, in arm_sys_recv() argument
139 *out_info = info; in arm_sys_recv()
147 …seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Wor… in arm_sys_send_recv() argument
169 *out_info = info; in arm_sys_send_recv()
180 … seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, in arm_sys_nbsend_recv() argument
206 *out_info = info; in arm_sys_nbsend_recv()
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | syscalls.h | 116 …c inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, in arm_sys_recv() argument
139 *out_info = info; in arm_sys_recv()
147 …seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Wor… in arm_sys_send_recv() argument
169 *out_info = info; in arm_sys_send_recv()
180 … seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, in arm_sys_nbsend_recv() argument
206 *out_info = info; in arm_sys_nbsend_recv()
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 101 …c inline void x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, in x86_sys_recv() argument
119 "=S"(*out_info), in x86_sys_recv()
129 … seL4_Word *out_info, seL4_Word *in_out_mr1, MCS_COND(seL4_Word reply, seL4_Word *in_out_mr2)) in x86_sys_send_recv() argument
145 "=S"(*out_info), in x86_sys_send_recv()
162 seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) in x86_sys_nbsend_wait() argument
178 "=S"(*out_info), in x86_sys_nbsend_wait()
276 …c inline void x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, in x86_sys_recv() argument
289 "=S"(*out_info), in x86_sys_recv()
310 : "=S"(*out_info), in x86_sys_send_recv()
327 seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) in x86_sys_nbsend_wait() argument
[all …]
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 84 …d riscv_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word in riscv_sys_recv() argument
107 *out_info = info; in riscv_sys_recv()
126 … *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, in riscv_sys_send_recv() argument
149 *out_info = info; in riscv_sys_send_recv()
160 … seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, in riscv_sys_nbsend_recv() argument
186 *out_info = info; in riscv_sys_nbsend_recv()
|