Searched defs:msg2 (Results 1 – 5 of 5) sorted by relevance
/seL4-master/libsel4/arch_include/arm/sel4/arch/ |
A D | syscalls.h | 86 seL4_Word msg2; in seL4_Recv() local 115 seL4_Word msg2 = 0; in seL4_RecvWithMRs() local 151 seL4_Word msg2; in seL4_NBRecv() local 193 seL4_Word msg2 = 0; in seL4_CallWithMRs() local 240 seL4_Word msg2; in seL4_ReplyRecv() local 280 seL4_Word msg2 = 0; in seL4_ReplyRecvWithMRs() local 329 seL4_Word msg2; in seL4_NBSendRecv() local 363 seL4_Word msg2 = 0; in seL4_NBSendRecvWithMRs() local 411 seL4_Word msg2; in seL4_NBSendWait() local 500 seL4_Word msg2; in seL4_Wait() local [all …]
|
/seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
A D | syscalls.h | 266 seL4_Word msg2; in seL4_Recv() local 296 seL4_Word msg2 = 0; in seL4_RecvWithMRs() local 332 seL4_Word msg2; in seL4_NBRecv() local 392 seL4_Word msg2 = 0; in seL4_CallWithMRs() local 438 seL4_Word msg2; in seL4_ReplyRecv() local 479 seL4_Word msg2 = 0; in seL4_ReplyRecvWithMRs() local 528 seL4_Word msg2; in seL4_NBSendRecv() local 563 seL4_Word msg2 = 0; in seL4_NBSendRecvWithMRs() local 612 seL4_Word msg2; in seL4_NBSendWait() local 701 seL4_Word msg2; in seL4_Wait() local [all …]
|
/seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
A D | syscalls_syscall.h | 22 seL4_Word msg2, seL4_Word msg3) in x64_sys_send() 46 …e void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, in x64_sys_reply()
|
A D | syscalls_sysenter.h | 23 seL4_Word msg2, seL4_Word msg3) in x64_sys_send() 48 …e void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, in x64_sys_reply()
|
A D | syscalls.h | 118 seL4_Word msg2; in seL4_RecvWithMRs() local 201 seL4_Word msg2; in seL4_WaitWithMRs() local 275 seL4_Word msg2 = 0; in seL4_CallWithMRs() local 352 seL4_Word msg2 = 0; in seL4_ReplyRecvWithMRs() local 425 seL4_Word msg2 = 0; in seL4_NBSendRecvWithMRs() local 502 seL4_Word msg2 = 0; in seL4_NBSendWaitWithMRs() local
|
Completed in 11 milliseconds