| /seL4-mcs-10.1.1/include/benchmark/ |
| H A D | benchmark_track.h | 57 benchmark_debug_syscall_start(word_t cptr, word_t msgInfo, word_t syscall) argument
|
| /seL4-mcs-10.1.1/src/arch/arm/ |
| H A D | c_traps.c | 125 c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) argument
|
| /seL4-mcs-10.1.1/src/arch/riscv/ |
| H A D | c_traps.c | 139 c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, word_t unused4, word_t unused5, syscall_t syscall) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/ |
| H A D | c_traps.c | 148 c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) argument
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 85 fastpath_mi_check(word_t msgInfo) argument
107 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 78 fastpath_mi_check(word_t msgInfo) argument
99 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 83 fastpath_mi_check(word_t msgInfo) argument
95 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-mcs-10.1.1/src/fastpath/ |
| H A D | fastpath.c | 24 fastpath_call(word_t cptr, word_t msgInfo) argument
204 fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) argument
[all...] |
| /seL4-mcs-10.1.1/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 84 fastpath_mi_check(word_t msgInfo) argument
111 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 110 fastpath_mi_check(word_t msgInfo) argument
117 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
|
| /seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 22 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
28 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument
40 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
46 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
146 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
166 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
209 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
241 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
289 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
321 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
369 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender) argument
401 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
[all...] |
| /seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 162 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
169 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument
182 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
190 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
203 seL4_Reply(seL4_MessageInfo_t msgInfo) argument
210 seL4_ReplyWithMRs(seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
313 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
346 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
388 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender) argument
422 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
[all...] |
| /seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 304 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
310 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument
317 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
323 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument
450 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
463 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0) argument
483 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
501 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_CPtr reply) argument
526 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_CPtr reply) argument
547 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_Word *mr0, seL4_CPtr reply) argument
575 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender) argument
593 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_Word *mr0) argument
[all...] |
| /seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 27 seL4_Send(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
33 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument
45 seL4_NBSend(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
51 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, argument
231 seL4_Call(seL4_CPtr dest, seL4_MessageInfo_t msgInfo) argument
251 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
292 seL4_ReplyRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply) argument
316 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
362 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply) argument
386 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
432 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender) argument
462 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
[all...] |
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | thread.c | 216 seL4_MessageInfo_t msgInfo; local
|