Searched refs:mr0 (Results 1 - 10 of 10) sorted by relevance

/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls_sysenter.h23 register seL4_Word mr0 asm("r10") = msg0;
37 "r" (mr0),
64 register seL4_Word mr0 asm("r10");
77 "=r" (mr0),
87 *out_mr0 = mr0;
96 register seL4_Word mr0 asm("r10") = *in_out_mr0;
108 "=r" (mr0),
116 "r" (mr0),
124 *in_out_mr0 = mr0;
133 register seL4_Word mr0 as
[all...]
H A Dsyscalls.h34 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
37 (mr0 != seL4_Null) ? *mr0 : 0,
52 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
55 (mr0 != seL4_Null) ? *mr0 : 0,
73 seL4_Word mr0; local
78 x64_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, &mr1, &mr2, &mr3, reply);
80 seL4_SetMR(0, mr0);
94 seL4_Word *mr0, seL4_Wor
33 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
51 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
93 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
130 seL4_Word mr0; local
154 seL4_Word mr0; local
174 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
211 seL4_Word mr0; local
235 seL4_Word mr0 = seL4_GetMR(0); local
251 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
296 seL4_Word mr0 = seL4_GetMR(0); local
316 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
366 seL4_Word mr0 = seL4_GetMR(0); local
386 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
436 seL4_Word mr0 = seL4_GetMR(0); local
462 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
528 seL4_Word mr0 = seL4_GetMR(0); local
[all...]
H A Dsyscalls_syscall.h23 register seL4_Word mr0 asm("r10") = msg0;
36 "r" (mr0),
62 register seL4_Word mr0 asm("r10");
74 "=r" (mr0),
83 *out_mr0 = mr0;
92 register seL4_Word mr0 asm("r10") = *in_out_mr0;
103 "=r" (mr0),
111 "r" (mr0),
118 *in_out_mr0 = mr0;
127 register seL4_Word mr0 as
[all...]
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h311 seL4_Word *mr0)
313 x86_sys_send(seL4_SysSend, dest, msgInfo.words[0], mr0 != seL4_Null ? *mr0 : 0);
324 seL4_Word *mr0)
326 x86_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], mr0 != seL4_Null ? *mr0 : 0);
340 seL4_Word mr0; local
342 x86_sys_recv(seL4_SysRecv, src, &badge, &info.words[0], &mr0, reply);
344 seL4_SetMR(0, mr0);
355 seL4_Word *mr0, seL4_CPt
310 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0) argument
323 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0) argument
354 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0, seL4_CPtr reply) argument
379 seL4_Word mr0; local
397 seL4_Word mr0; local
411 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0) argument
436 seL4_Word mr0; local
453 seL4_Word mr0 = seL4_GetMR(0); local
463 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0) argument
487 seL4_Word mr0 = seL4_GetMR(0); local
501 seL4_ReplyRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_CPtr reply) argument
530 seL4_Word mr0 = seL4_GetMR(0); local
547 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_Word *mr0, seL4_CPtr reply) argument
579 seL4_Word mr0 = seL4_GetMR(0); local
593 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word src, seL4_Word *sender, seL4_Word *mr0) argument
630 seL4_Word mr0 = seL4_GetMR(0); local
[all...]
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h29 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
32 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
47 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
50 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
89 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
101 if (mr0 != seL4_Null) {
102 *mr0 = msg0;
167 seL4_Word *mr0, seL4_Wor
28 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
46 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
88 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_CPtr reply, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
166 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
241 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
321 seL4_NBSendRecvWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3, seL4_CPtr reply) argument
401 seL4_NBSendWaitWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
480 seL4_WaitWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
[all...]
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h28 riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument
35 register seL4_Word msg0 asm("a2") = mr0;
51 riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, argument
57 register seL4_Word msg0 asm("a2") = mr0;
170 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
173 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
191 seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3)
194 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0
169 seL4_SendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
190 seL4_NBSendWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
210 seL4_ReplyWithMRs(seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
254 seL4_RecvWithMRs(seL4_CPtr src, seL4_Word* sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
346 seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
422 seL4_ReplyRecvWithMRs(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) argument
[all...]
/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dvcpu.c628 word_t mr0; local
637 mr0 = getSyscallArg(0, buffer);
638 vid = mr0 & 0xffff;
639 priority = (mr0 >> 16) & 0xff;
640 group = (mr0 >> 24) & 0xff;
641 index = (mr0 >> 32) & 0xff;
643 uint32_t mr0, mr1; local
652 mr0 = getSyscallArg(0, buffer);
654 vid = mr0 & 0xffff;
655 priority = (mr0 >> 1
[all...]
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dsyscalls.h53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument
59 register seL4_Word msg0 asm("r2") = mr0;
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dsyscalls.h53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument
59 register seL4_Word msg0 asm("x2") = mr0;
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dsyscalls.h53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument
59 register seL4_Word msg0 asm("r2") = mr0;

Completed in 46 milliseconds