Searched refs:mr3 (Results 1 – 7 of 7) sorted by relevance
36 (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() local133 *mr3 = msg3; in seL4_RecvWithMRs()154 seL4_Word mr3; in seL4_NBRecv() local178 seL4_Word mr3; in seL4_Wait() local216 *mr3 = msg3; in seL4_WaitWithMRs()233 seL4_Word mr3; in seL4_NBWait() local288 msg3 = *mr3; in seL4_CallWithMRs()[all …]
40 "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 …]
28 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 …]
32 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 …]
311 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 …]
57 seL4_Word mr2, seL4_Word mr3) in arm_sys_send() argument66 register seL4_Word msg3 asm("r5") = mr3; in arm_sys_send()80 seL4_Word mr3) in arm_sys_reply() argument88 register seL4_Word msg3 asm("r5") = mr3; in arm_sys_reply()
58 seL4_Word mr2, seL4_Word mr3) in arm_sys_send() argument67 register seL4_Word msg3 asm("x5") = mr3; in arm_sys_send()81 seL4_Word mr3) in arm_sys_reply() argument89 register seL4_Word msg3 asm("x5") = mr3; in arm_sys_reply()
Completed in 14 milliseconds