/seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
A D | syscalls.h | 35 (mr2 != seL4_Null) ? *mr2 : 0, in seL4_SendWithMRs() 51 (mr2 != seL4_Null) ? *mr2 : 0, in seL4_NBSendWithMRs() 68 (mr2 != seL4_Null) ? *mr2 : 0, in seL4_ReplyWithMRs() 89 seL4_Word mr2; in seL4_Recv() local 130 *mr2 = msg2; in seL4_RecvWithMRs() 153 seL4_Word mr2; in seL4_NBRecv() local 177 seL4_Word mr2; in seL4_Wait() local 213 *mr2 = msg2; in seL4_WaitWithMRs() 232 seL4_Word mr2; in seL4_NBWait() local 285 msg2 = *mr2; in seL4_CallWithMRs() [all …]
|
A D | syscalls_syscall.h | 39 "r"(mr2), in x64_sys_send() 63 "r"(mr2), in x64_sys_reply() 90 register seL4_Word mr2 asm("r9"); in x64_sys_recv() 102 "=r"(mr2), in x64_sys_recv() 111 *out_mr2 = mr2; in x64_sys_recv() 132 "=r"(mr2), in x64_sys_send_recv() 140 "r"(mr2), in x64_sys_send_recv() 147 *in_out_mr2 = mr2; in x64_sys_send_recv() 170 "=r"(mr2), in x64_sys_nbsend_recv() 178 "r"(mr2), in x64_sys_nbsend_recv() [all …]
|
A D | syscalls_sysenter.h | 27 register seL4_Word mr2 asm("r9") = msg2; in x64_sys_send() 41 "r"(mr2), in x64_sys_send() 53 register seL4_Word mr2 asm("r9") = msg2; in x64_sys_reply() 66 "r"(mr2), in x64_sys_reply() 93 register seL4_Word mr2 asm("r9"); in x64_sys_recv() 106 "=r"(mr2), in x64_sys_recv() 116 *out_mr2 = mr2; in x64_sys_recv() 138 "=r"(mr2), in x64_sys_send_recv() 146 "r"(mr2), in x64_sys_send_recv() 154 *in_out_mr2 = mr2; in x64_sys_send_recv() [all …]
|
/seL4-master/libsel4/arch_include/arm/sel4/arch/ |
A D | syscalls.h | 31 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0, in seL4_SendWithMRs() 128 *mr2 = msg2; in seL4_RecvWithMRs() 204 msg2 = *mr2; in seL4_CallWithMRs() 220 *mr2 = msg2; in seL4_CallWithMRs() 290 msg2 = *mr2; in seL4_ReplyRecvWithMRs() 307 *mr2 = msg2; in seL4_ReplyRecvWithMRs() 373 msg2 = *mr2; in seL4_NBSendRecvWithMRs() 390 *mr2 = msg2; in seL4_NBSendRecvWithMRs() 455 msg2 = *mr2; in seL4_NBSendWaitWithMRs() 472 *mr2 = msg2; in seL4_NBSendWaitWithMRs() [all …]
|
/seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
A D | syscalls.h | 308 if (mr2 != seL4_Null) { in seL4_RecvWithMRs() 309 *mr2 = msg2; in seL4_RecvWithMRs() 402 msg2 = *mr2; in seL4_CallWithMRs() 418 *mr2 = msg2; in seL4_CallWithMRs() 489 msg2 = *mr2; in seL4_ReplyRecvWithMRs() 506 *mr2 = msg2; in seL4_ReplyRecvWithMRs() 573 msg2 = *mr2; in seL4_NBSendRecvWithMRs() 591 *mr2 = msg2; in seL4_NBSendRecvWithMRs() 656 msg2 = *mr2; in seL4_NBSendWaitWithMRs() 673 *mr2 = msg2; in seL4_NBSendWaitWithMRs() [all …]
|
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
A D | syscalls.h | 57 seL4_Word mr2, seL4_Word mr3) in arm_sys_send() argument 65 register seL4_Word msg2 asm("r4") = mr2; in arm_sys_send() 79 … void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, in arm_sys_reply() argument 87 register seL4_Word msg2 asm("r4") = mr2; in arm_sys_reply()
|
/seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
A D | syscalls.h | 58 seL4_Word mr2, seL4_Word mr3) in arm_sys_send() argument 66 register seL4_Word msg2 asm("x4") = mr2; in arm_sys_send() 80 … void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, in arm_sys_reply() argument 88 register seL4_Word msg2 asm("x4") = mr2; in arm_sys_reply()
|
/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
A D | syscalls.h | 34 LIBSEL4_UNUSED seL4_Word mr2) in x86_sys_send() argument 54 , "c"(mr2) in x86_sys_send() 60 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) in x86_sys_reply() argument 76 "c"(mr2) in x86_sys_reply() 212 …line void x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2) in x86_sys_send() argument 232 , "c"(mr2): in x86_sys_send() 239 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) in x86_sys_reply() argument 253 "c"(mr2) in x86_sys_reply()
|