Searched refs:L4_SYSF_SEND (Results 1 – 2 of 2) sorted by relevance
58 L4_SYSF_SEND = 0x01, enumerator97 L4_SYSF_CALL = L4_SYSF_SEND | L4_SYSF_RECV,121 L4_SYSF_REPLY_AND_WAIT = L4_SYSF_WAIT | L4_SYSF_SEND | L4_SYSF_REPLY
492 return l4_ipc(dest, utcb, L4_SYSF_SEND, 0, tag, 0, timeout); in l4_ipc_send()
Completed in 4 milliseconds