Searched refs:out_mr2 (Results 1 – 6 of 6) sorted by relevance
/seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
A D | syscalls_syscall.h | 85 … seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, in x64_sys_recv() argument 111 *out_mr2 = mr2; in x64_sys_recv()
|
A D | syscalls_sysenter.h | 89 …seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL… in x64_sys_recv() argument 116 *out_mr2 = mr2; in x64_sys_recv()
|
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
A D | syscalls.h | 116 …seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL… in arm_sys_recv() argument 142 *out_mr2 = msg2; in arm_sys_recv()
|
/seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
A D | syscalls.h | 117 …seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL… in arm_sys_recv() argument 142 *out_mr2 = msg2; in arm_sys_recv()
|
/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
A D | syscalls.h | 102 seL4_Word *out_mr1, MCS_COND(seL4_Word reply, seL4_Word *out_mr2)) in x86_sys_recv() argument 121 MCS_COND("+c"(reply), "=c"(*out_mr2)) in x86_sys_recv() 277 seL4_Word *out_mr1, MCS_COND(seL4_Word reply, seL4_Word *out_mr2)) in x86_sys_recv() argument 291 MCS_COND("+c"(reply), "=c"(*out_mr2)) in x86_sys_recv()
|
/seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
A D | syscalls.h | 85 …*out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, LIBSEL4_UNUSED seL4_Word rep… in riscv_sys_recv() argument 110 *out_mr2 = msg2; in riscv_sys_recv()
|
Completed in 29 milliseconds