Lines Matching refs:sys
25 static inline void riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1,
38 register seL4_Word scno asm("a7") = sys;
48 static inline void riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2,
60 register seL4_Word scno asm("a7") = sys;
70 static inline void riscv_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg)
76 register seL4_Word scno asm("a7") = sys;
84 static inline void riscv_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word
98 register seL4_Word scno asm("a7") = sys;
114 static inline void riscv_sys_null(seL4_Word sys)
116 register seL4_Word scno asm("a7") = sys;
124 static inline void riscv_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg,
141 register seL4_Word scno asm("a7") = sys;
158 static inline void riscv_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge,
176 register seL4_Word scno asm("a7") = sys;