Home
last modified time | relevance | path

Searched refs:mr3 (Results 1 – 7 of 7) sorted by relevance

/seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
A Dsyscalls.h36 (mr3 != seL4_Null) ? *mr3 : 0 in seL4_SendWithMRs()
52 (mr3 != seL4_Null) ? *mr3 : 0 in seL4_NBSendWithMRs()
69 (mr3 != seL4_Null) ? *mr3 : 0 in seL4_ReplyWithMRs()
90 seL4_Word mr3; in seL4_Recv() local
133 *mr3 = msg3; in seL4_RecvWithMRs()
154 seL4_Word mr3; in seL4_NBRecv() local
178 seL4_Word mr3; in seL4_Wait() local
216 *mr3 = msg3; in seL4_WaitWithMRs()
233 seL4_Word mr3; in seL4_NBWait() local
288 msg3 = *mr3; in seL4_CallWithMRs()
[all …]
A Dsyscalls_syscall.h40 "r"(mr3) in x64_sys_send()
64 "r"(mr3) in x64_sys_reply()
91 register seL4_Word mr3 asm("r15"); in x64_sys_recv()
103 "=r"(mr3) in x64_sys_recv()
112 *out_mr3 = mr3; in x64_sys_recv()
133 "=r"(mr3), in x64_sys_send_recv()
141 "r"(mr3) in x64_sys_send_recv()
148 *in_out_mr3 = mr3; in x64_sys_send_recv()
171 "=r"(mr3), in x64_sys_nbsend_recv()
179 "r"(mr3), in x64_sys_nbsend_recv()
[all …]
A Dsyscalls_sysenter.h28 register seL4_Word mr3 asm("r15") = msg3; in x64_sys_send()
42 "r"(mr3) in x64_sys_send()
54 register seL4_Word mr3 asm("r15") = msg3; in x64_sys_reply()
67 "r"(mr3) in x64_sys_reply()
94 register seL4_Word mr3 asm("r15"); in x64_sys_recv()
107 "=r"(mr3) in x64_sys_recv()
117 *out_mr3 = mr3; in x64_sys_recv()
139 "=r"(mr3), in x64_sys_send_recv()
147 "r"(mr3), in x64_sys_send_recv()
155 *in_out_mr3 = mr3; in x64_sys_send_recv()
[all …]
/seL4-master/libsel4/arch_include/arm/sel4/arch/
A Dsyscalls.h32 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0 in seL4_SendWithMRs()
131 *mr3 = msg3; in seL4_RecvWithMRs()
207 msg3 = *mr3; in seL4_CallWithMRs()
223 *mr3 = msg3; in seL4_CallWithMRs()
293 msg3 = *mr3; in seL4_ReplyRecvWithMRs()
310 *mr3 = msg3; in seL4_ReplyRecvWithMRs()
376 msg3 = *mr3; in seL4_NBSendRecvWithMRs()
393 *mr3 = msg3; in seL4_NBSendRecvWithMRs()
458 msg3 = *mr3; in seL4_NBSendWaitWithMRs()
475 *mr3 = msg3; in seL4_NBSendWaitWithMRs()
[all …]
/seL4-master/libsel4/arch_include/riscv/sel4/arch/
A Dsyscalls.h311 if (mr3 != seL4_Null) { in seL4_RecvWithMRs()
312 *mr3 = msg3; in seL4_RecvWithMRs()
405 msg3 = *mr3; in seL4_CallWithMRs()
421 *mr3 = msg3; in seL4_CallWithMRs()
492 msg3 = *mr3; in seL4_ReplyRecvWithMRs()
509 *mr3 = msg3; in seL4_ReplyRecvWithMRs()
576 msg3 = *mr3; in seL4_NBSendRecvWithMRs()
594 *mr3 = msg3; in seL4_NBSendRecvWithMRs()
659 msg3 = *mr3; in seL4_NBSendWaitWithMRs()
676 *mr3 = msg3; in seL4_NBSendWaitWithMRs()
[all …]
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
A Dsyscalls.h57 seL4_Word mr2, seL4_Word mr3) in arm_sys_send() argument
66 register seL4_Word msg3 asm("r5") = mr3; in arm_sys_send()
80 seL4_Word mr3) in arm_sys_reply() argument
88 register seL4_Word msg3 asm("r5") = mr3; in arm_sys_reply()
/seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
A Dsyscalls.h58 seL4_Word mr2, seL4_Word mr3) in arm_sys_send() argument
67 register seL4_Word msg3 asm("x5") = mr3; in arm_sys_send()
81 seL4_Word mr3) in arm_sys_reply() argument
89 register seL4_Word msg3 asm("x5") = mr3; in arm_sys_reply()

Completed in 14 milliseconds