l4_timeout_t timeout, long proto = 0);
inline l4_msgtag_t send_and_wait(l4_cap_idx_t dest, l4_umword_t *src,
l4_timeout_t timeout, long proto = 0);
l4_timeout_t timeout, long proto = 0);
inline l4_msgtag_t send_and_wait(l4_cap_idx_t dest, l4_umword_t *src,
l4_timeout_t timeout, long proto = 0);