Searched refs:riscv_sys_send (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 28 riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, function
164 riscv_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1),
172 riscv_sys_send(seL4_SysSend, dest, msgInfo.words[0],
184 riscv_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1),
193 riscv_sys_send(seL4_SysNBSend, dest, msgInfo.words[0],
|
Completed in 77 milliseconds