Searched refs:L4_PROTO_IRQ_SENDER (Results 1 – 4 of 4) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | irq.h | 246 return l4_ipc_call(irq, utcb, l4_msgtag(L4_PROTO_IRQ_SENDER, 1, 0, 0), in l4_irq_detach_u()
|
| A D | types.h | 70 L4_PROTO_IRQ_SENDER = -18L, ///< Protocol for IRQ senders (IRQ -> IPC) enumerator
|
| A D | factory.h | 343 return l4_factory_create_u(factory, L4_PROTO_IRQ_SENDER, target_cap, u); in l4_factory_create_irq_u()
|
| A D | irq | 131 class Irq : public Kobject_2t<Irq, Triggerable, Rcv_endpoint, L4_PROTO_IRQ_SENDER>
|
Completed in 6 milliseconds