Searched refs:x64_sys_reply (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 | 48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, function
|
H A D | syscalls_syscall.h | 46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, function
|
H A D | syscalls.h | 59 x64_sys_reply(seL4_SysReply, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3)); 65 x64_sys_reply(seL4_SysReply, msgInfo.words[0],
|
Completed in 33 milliseconds