Lines Matching refs:info_arg
25 static inline void riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1,
29 register seL4_Word info asm("a1") = info_arg;
48 static inline void riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2,
51 register seL4_Word info asm("a1") = info_arg;
70 static inline void riscv_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg)
73 register seL4_Word info asm("a1") = info_arg;
124 static inline void riscv_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg,
131 register seL4_Word info asm("a1") = info_arg;
159 seL4_Word info_arg,
164 register seL4_Word info asm("a1") = info_arg;