sel4/sel4_arch/syscalls.h

33 static inline void x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1,
48         : "a"(sys),
60 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2)
73         : "a"(sys),
82 static inline void x86_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info)
95         : "a"(sys),
101 static inline void x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info,
122         : "a"(sys),
128 static inline void x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info,
149         : "a"(sys),
161 static inline void x86_sys_nbsend_wait(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word info,
182         : "a"(sys),
193 static inline void x86_sys_null(seL4_Word sys)
205         : "a"(sys)
212 static inline void x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2)
225         : "a"(sys),
239 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2)
250         : "a"(sys),
259 static inline void x86_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info)
269                  : "a"(sys),
276 static inline void x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info,
292                  : "a"(sys),
298 static inline void x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info,
314         : "a"(sys),
326 static inline void x86_sys_nbsend_wait(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word info,
342         : "a"(sys),
351 static inline void x86_sys_null(seL4_Word sys)
361         : "a"(sys)