Lines Matching refs:info_arg
57 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1,
61 register seL4_Word info asm("x1") = info_arg;
80 static inline void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2,
83 register seL4_Word info asm("x1") = info_arg;
102 static inline void arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg)
105 register seL4_Word info asm("x1") = info_arg;
146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg,
151 register seL4_Word info asm("x1") = info_arg;
179 seL4_Word info_arg,
184 register seL4_Word info asm("x1") = info_arg;