Searched refs:arm_sys_send_recv (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 176 …arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2… in seL4_Call()
210 …arm_sys_send_recv(seL4_SysCall, dest, &dest, msgInfo.words[0], &info.words[0], &msg0, &msg1, &msg2… in seL4_CallWithMRs()
249 …arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, … in seL4_ReplyRecv()
296 …arm_sys_send_recv(seL4_SysReplyRecv, src, &badge, msgInfo.words[0], &info.words[0], &msg0, &msg1, … in seL4_ReplyRecvWithMRs()
584 …arm_sys_send_recv(seL4_SysDebugPutChar, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &u… in seL4_DebugPutChar()
604 …arm_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unuse… in seL4_DebugDumpScheduler()
628 …arm_sys_send_recv(seL4_SysDebugCapIdentify, cap, &cap, 0, &unused0, &unused1, &unused2, &unused3, … in seL4_DebugCapIdentify()
644 …arm_sys_send_recv(seL4_SysDebugNameThread, tcb, &unused0, 0, &unused1, &unused2, &unused3, &unused… in seL4_DebugNameThread()
674 …arm_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0, &unused1, &unused2, &unused3, &… in seL4_BenchmarkResetLog()
701 …arm_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1, &… in seL4_BenchmarkSetLogBuffer()
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | syscalls.h | 146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word… in arm_sys_send_recv() function
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | syscalls.h | 146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word… in arm_sys_send_recv() function
|
Completed in 10 milliseconds