Searched refs:L4_SYSF_REPLY (Results 1 – 4 of 4) sorted by relevance
89 L4_SYSF_REPLY = 0x08, enumerator121 L4_SYSF_REPLY_AND_WAIT = L4_SYSF_WAIT | L4_SYSF_SEND | L4_SYSF_REPLY
373 … l4_msgtag_t res = l4_ipc_send(L4_INVALID_CAP | L4_SYSF_REPLY, utcb, reply, this->timeout());
1076 if (l4_error(l4_ipc_send(L4_INVALID_CAP | L4_SYSF_REPLY, in pthread_handle_exit()
1011 tag = l4_ipc_send(L4_INVALID_CAP | L4_SYSF_REPLY, Ostream::_utcb, tag, timeout);
Completed in 6 milliseconds