Searched refs:l4_ipc_send_and_wait (Results 1 – 4 of 4) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | ipc.h | 360 l4_ipc_send_and_wait(l4_cap_idx_t dest, l4_utcb_t *utcb, l4_msgtag_t tag,
479 l4_ipc_send_and_wait(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc_send_and_wait() function
|
| A D | irq.h | 269 return l4_ipc_send_and_wait(irq, utcb, l4_msgtag(L4_PROTO_IRQ, 1, 0, 0), in l4_irq_wait_u()
|
| A D | icu.h | 450 return l4_ipc_send_and_wait(icu, utcb, l4_msgtag(L4_PROTO_IRQ, 2, 0, 0), in l4_icu_control_u()
|
| /l4re-core-master/cxx/lib/ipc/include/ |
| A D | ipc_stream | 1001 tag = l4_ipc_send_and_wait(dest, Ostream::_utcb, tag, src, timeout);
|
Completed in 11 milliseconds