Searched refs:L4_SYSF_CALL (Results 1 – 2 of 2) sorted by relevance
97 L4_SYSF_CALL = L4_SYSF_SEND | L4_SYSF_RECV, enumerator113 L4_SYSF_SEND_AND_WAIT = L4_SYSF_OPEN_WAIT | L4_SYSF_CALL,
467 return l4_ipc(dest, utcb, L4_SYSF_CALL, 0, tag, 0, timeout); in l4_ipc_call()
Completed in 7 milliseconds