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 30 milliseconds