Searched refs:riscv_sys_send_null (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 70 static inline void riscv_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) function
253 riscv_sys_send_null(seL4_SysSend, dest, seL4_MessageInfo_new(0, 0, 0, 0).words[0]);
917 riscv_sys_send_null(seL4_SysBenchmarkFlushCaches, 0, 0);
923 riscv_sys_send_null(seL4_SysBenchmarkFlushCaches, 1, cache_type);
986 riscv_sys_send_null(seL4_SysSetTLSBase, tls_base, 0);
|
Completed in 85 milliseconds