Searched refs:in_out_mr0 (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls_syscall.h | 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
119 register seL4_Word mr0 asm("r10") = *in_out_mr0; in x64_sys_send_recv()
145 *in_out_mr0 = mr0; 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
156 register seL4_Word mr0 asm("r10") = *in_out_mr0; in x64_sys_nbsend_recv()
184 *in_out_mr0 = mr0; in x64_sys_nbsend_recv()
|
| A D | syscalls_sysenter.h | 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
124 register seL4_Word mr0 asm("r10") = *in_out_mr0; in x64_sys_send_recv()
152 *in_out_mr0 = mr0; 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
163 register seL4_Word mr0 asm("r10") = *in_out_mr0; in x64_sys_nbsend_recv()
189 *in_out_mr0 = mr0; in x64_sys_nbsend_recv()
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | syscalls.h | 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
154 register seL4_Word msg0 asm("r2") = *in_out_mr0; in arm_sys_send_recv()
171 *in_out_mr0 = msg0; 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
187 register seL4_Word msg0 asm("r2") = *in_out_mr0; in arm_sys_nbsend_recv()
207 *in_out_mr0 = msg0; in arm_sys_nbsend_recv()
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | syscalls.h | 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
154 register seL4_Word msg0 asm("x2") = *in_out_mr0; in arm_sys_send_recv()
171 *in_out_mr0 = msg0; 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
187 register seL4_Word msg0 asm("x2") = *in_out_mr0; in arm_sys_nbsend_recv()
207 *in_out_mr0 = msg0; in arm_sys_nbsend_recv()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 126 … *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, in riscv_sys_send_recv() argument
134 register seL4_Word msg0 asm("a2") = *in_out_mr0; in riscv_sys_send_recv()
151 *in_out_mr0 = msg0; 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
167 register seL4_Word msg0 asm("a2") = *in_out_mr0; in riscv_sys_nbsend_recv()
187 *in_out_mr0 = msg0; in riscv_sys_nbsend_recv()
|
Completed in 15 milliseconds