| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 436 seL4_Word mr0; in seL4_Recv() local
492 seL4_Word mr0; in seL4_NBRecv() local
514 seL4_Word mr0; in seL4_Wait() local
528 seL4_Word *mr0) in seL4_WaitWithMRs()
551 seL4_Word mr0; in seL4_NBWait() local
568 seL4_Word mr0 = seL4_GetMR(0); in seL4_Call() local
583 seL4_Word *mr0) in seL4_CallWithMRs()
626 seL4_Word mr0 = seL4_GetMR(0); in seL4_ReplyRecv() local
692 seL4_Word mr0 = seL4_GetMR(0); in seL4_NBSendRecv() local
741 seL4_Word mr0 = seL4_GetMR(0); in seL4_NBSendWait() local
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 30 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_SendWithMRs()
46 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_NBSendWithMRs()
87 seL4_Word mr0; in seL4_Recv() local
151 seL4_Word mr0; in seL4_NBRecv() local
175 seL4_Word mr0; in seL4_Wait() local
230 seL4_Word mr0; in seL4_NBWait() local
254 seL4_Word mr0 = seL4_GetMR(0); in seL4_Call() local
318 seL4_Word mr0 = seL4_GetMR(0); in seL4_ReplyRecv() local
397 seL4_Word mr0 = seL4_GetMR(0); in seL4_NBSendRecv() local
469 seL4_Word mr0 = seL4_GetMR(0); in seL4_NBSendWait() local
[all …]
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 25 static inline void riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0,… in riscv_sys_send()
48 static inline void riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1,… in riscv_sys_reply()
201 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_SendWithMRs()
220 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_NBSendWithMRs()
239 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_ReplyWithMRs()
286 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_RecvWithMRs()
387 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_CallWithMRs()
468 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_ReplyRecvWithMRs()
557 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_NBSendRecvWithMRs()
640 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_NBSendWaitWithMRs()
[all …]
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 26 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_SendWithMRs()
42 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_NBSendWithMRs()
59 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_ReplyWithMRs()
105 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_RecvWithMRs()
188 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_CallWithMRs()
269 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_ReplyRecvWithMRs()
357 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) in seL4_NBSendRecvWithMRs()
439 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_NBSendWaitWithMRs()
518 … seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) in seL4_WaitWithMRs()
|
| /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()
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()
|
| /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()
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()
|
| /seL4-master/src/arch/arm/object/ |
| A D | vcpu.c | 392 word_t mr0; in decodeVCPUInjectIRQ() local
407 uint32_t mr0, mr1; in decodeVCPUInjectIRQ() local
|