Home
last modified time | relevance | path

Searched defs:msg2 (Results 1 – 5 of 5) sorted by relevance

/seL4-master/libsel4/arch_include/arm/sel4/arch/
A Dsyscalls.h86 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 Dsyscalls.h266 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 Dsyscalls_syscall.h22 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 Dsyscalls_sysenter.h23 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 Dsyscalls.h118 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