| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 369 #define MAYBE_GET_MRS mr0 != seL4_Null ? *mr0 : 0
372 #define REPLY &mr0
436 seL4_Word mr0; in seL4_Recv() local
468 *mr0 = msg0; in seL4_RecvWithMRs()
492 seL4_Word mr0; in seL4_NBRecv() local
514 seL4_Word mr0; in seL4_Wait() local
537 *mr0 = msg0; in seL4_WaitWithMRs()
551 seL4_Word mr0; in seL4_NBWait() local
594 msg0 = *mr0; in seL4_CallWithMRs()
606 *mr0 = msg0; in seL4_CallWithMRs()
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 33 (mr0 != seL4_Null) ? *mr0 : 0, in seL4_SendWithMRs()
49 (mr0 != seL4_Null) ? *mr0 : 0, in seL4_NBSendWithMRs()
66 (mr0 != seL4_Null) ? *mr0 : 0, in seL4_ReplyWithMRs()
87 seL4_Word mr0; in seL4_Recv() local
124 *mr0 = msg0; in seL4_RecvWithMRs()
151 seL4_Word mr0; in seL4_NBRecv() local
175 seL4_Word mr0; in seL4_Wait() local
207 *mr0 = msg0; in seL4_WaitWithMRs()
230 seL4_Word mr0; in seL4_NBWait() local
279 msg0 = *mr0; in seL4_CallWithMRs()
[all …]
|
| A D | syscalls_syscall.h | 37 "r"(mr0), in x64_sys_send()
61 "r"(mr0), in x64_sys_reply()
88 register seL4_Word mr0 asm("r10"); in x64_sys_recv()
100 "=r"(mr0), in x64_sys_recv()
109 *out_mr0 = mr0; in x64_sys_recv()
130 "=r"(mr0), in x64_sys_send_recv()
138 "r"(mr0), in x64_sys_send_recv()
145 *in_out_mr0 = mr0; in x64_sys_send_recv()
168 "=r"(mr0), in x64_sys_nbsend_recv()
176 "r"(mr0), in x64_sys_nbsend_recv()
[all …]
|
| A D | syscalls_sysenter.h | 39 "r"(mr0), in x64_sys_send()
64 "r"(mr0), in x64_sys_reply()
91 register seL4_Word mr0 asm("r10"); in x64_sys_recv()
104 "=r"(mr0), in x64_sys_recv()
114 *out_mr0 = mr0; in x64_sys_recv()
136 "=r"(mr0), in x64_sys_send_recv()
144 "r"(mr0), in x64_sys_send_recv()
152 *in_out_mr0 = mr0; in x64_sys_send_recv()
176 "=r"(mr0), in x64_sys_nbsend_recv()
182 "r"(mr0), in x64_sys_nbsend_recv()
[all …]
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 29 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0, in seL4_SendWithMRs()
122 *mr0 = msg0; in seL4_RecvWithMRs()
198 msg0 = *mr0; in seL4_CallWithMRs()
214 *mr0 = msg0; in seL4_CallWithMRs()
284 msg0 = *mr0; in seL4_ReplyRecvWithMRs()
301 *mr0 = msg0; in seL4_ReplyRecvWithMRs()
367 msg0 = *mr0; in seL4_NBSendRecvWithMRs()
384 *mr0 = msg0; in seL4_NBSendRecvWithMRs()
449 msg0 = *mr0; in seL4_NBSendWaitWithMRs()
466 *mr0 = msg0; in seL4_NBSendWaitWithMRs()
[all …]
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 302 if (mr0 != seL4_Null) { in seL4_RecvWithMRs()
303 *mr0 = msg0; in seL4_RecvWithMRs()
396 msg0 = *mr0; in seL4_CallWithMRs()
412 *mr0 = msg0; in seL4_CallWithMRs()
483 msg0 = *mr0; in seL4_ReplyRecvWithMRs()
500 *mr0 = msg0; in seL4_ReplyRecvWithMRs()
567 msg0 = *mr0; in seL4_NBSendRecvWithMRs()
585 *mr0 = msg0; in seL4_NBSendRecvWithMRs()
650 msg0 = *mr0; in seL4_NBSendWaitWithMRs()
667 *mr0 = msg0; in seL4_NBSendWaitWithMRs()
[all …]
|
| /seL4-master/src/arch/arm/object/ |
| A D | vcpu.c | 392 word_t mr0; in decodeVCPUInjectIRQ() local
401 mr0 = getSyscallArg(0, buffer); in decodeVCPUInjectIRQ()
402 vid = mr0 & 0xffff; in decodeVCPUInjectIRQ()
403 priority = (mr0 >> 16) & 0xff; in decodeVCPUInjectIRQ()
404 group = (mr0 >> 24) & 0xff; in decodeVCPUInjectIRQ()
405 index = (mr0 >> 32) & 0xff; in decodeVCPUInjectIRQ()
407 uint32_t mr0, mr1; in decodeVCPUInjectIRQ() local
416 mr0 = getSyscallArg(0, buffer); in decodeVCPUInjectIRQ()
418 vid = mr0 & 0xffff; in decodeVCPUInjectIRQ()
419 priority = (mr0 >> 16) & 0xff; in decodeVCPUInjectIRQ()
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | syscalls.h | 56 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, s… in arm_sys_send() argument
63 register seL4_Word msg0 asm("r2") = mr0; in arm_sys_send()
79 static inline void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, s… in arm_sys_reply() argument
85 register seL4_Word msg0 asm("r2") = mr0; in arm_sys_reply()
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | syscalls.h | 57 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, s… in arm_sys_send() argument
64 register seL4_Word msg0 asm("x2") = mr0; in arm_sys_send()
80 static inline void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, s… in arm_sys_reply() argument
86 register seL4_Word msg0 asm("x2") = mr0; in arm_sys_reply()
|