sel4/arch/syscalls.h

24     arm_sys_send(seL4_SysSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3));
42     arm_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], seL4_GetMR(0), seL4_GetMR(1), seL4_GetMR(2), seL4_GetMR(3));
149     seL4_Word msg0 = seL4_GetMR(0);
150     seL4_Word msg1 = seL4_GetMR(1);
151     seL4_Word msg2 = seL4_GetMR(2);
152     seL4_Word msg3 = seL4_GetMR(3);
219     msg0 = seL4_GetMR(0);
220     msg1 = seL4_GetMR(1);
221     msg2 = seL4_GetMR(2);
222     msg3 = seL4_GetMR(3);
299     msg0 = seL4_GetMR(0);
300     msg1 = seL4_GetMR(1);
301     msg2 = seL4_GetMR(2);
302     msg3 = seL4_GetMR(3);
379     msg0 = seL4_GetMR(0);
380     msg1 = seL4_GetMR(1);
381     msg2 = seL4_GetMR(2);
382     msg3 = seL4_GetMR(3);