Searched refs:L4_SYSF_REPLY_AND_WAIT (Results 1 – 2 of 2) sorted by relevance
121 L4_SYSF_REPLY_AND_WAIT = L4_SYSF_WAIT | L4_SYSF_SEND | L4_SYSF_REPLY enumerator
475 return l4_ipc(L4_INVALID_CAP, utcb, L4_SYSF_REPLY_AND_WAIT, 0, tag, label, timeout); in l4_ipc_reply_and_wait()
Completed in 4 milliseconds