l4_msgtag_t call(l4_umword_t func, l4_umword_t in0, l4_umword_t in1, l4_umword_t in2, l4_umword_t in3, l4_umword_t in4, l4_umword_t in5, l4_umword_t *out0, l4_umword_t *out1, l4_umword_t *out2, l4_umword_t *out3, l4_umword_t client_id)
ARM SMC/HVC function call.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).