Searched refs:L4_SYSF_RECV (Results 1 – 2 of 2) sorted by relevance
69 L4_SYSF_RECV = 0x02, enumerator97 L4_SYSF_CALL = L4_SYSF_SEND | L4_SYSF_RECV,105 L4_SYSF_WAIT = L4_SYSF_OPEN_WAIT | L4_SYSF_RECV,
510 return l4_ipc(src, utcb, L4_SYSF_RECV, 0, t, 0, timeout); in l4_ipc_receive()
Completed in 21 milliseconds