Searched refs:x64_sys_send_null (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls_sysenter.h | 73 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) function
|
| H A D | syscalls_syscall.h | 70 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) function
|
| H A D | syscalls.h | 76 x64_sys_send_null(seL4_SysSend, dest, seL4_MessageInfo_new(0, 0, 0, 1).words[0]);
681 x64_sys_send_null(seL4_SysDebugRun, (seL4_Word)userfn, (seL4_Word)userarg);
802 x64_sys_send_null(seL4_SysSetTLSBase, tls_base, 0);
|
Completed in 32 milliseconds