Searched refs:riscv_sys_reply (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 | 51 riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, function
205 riscv_sys_reply(seL4_SysReply, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2),
213 riscv_sys_reply(seL4_SysReply, msgInfo.words[0],
|
Completed in 28 milliseconds