|
l4_msgtag_t | l4_irq_mux_chain (l4_cap_idx_t irq, l4_cap_idx_t slave) L4_NOTHROW |
| Chain an IRQ to another master IRQ source.
|
|
l4_msgtag_t | l4_irq_mux_chain_u (l4_cap_idx_t irq, l4_cap_idx_t slave, l4_utcb_t *utcb) L4_NOTHROW |
| Attach an IRQ to this multiplexer.
|
|
l4_msgtag_t | l4_irq_detach (l4_cap_idx_t irq) L4_NOTHROW |
| Detach from an interrupt source.
|
|
l4_msgtag_t | l4_irq_detach_u (l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW |
| Detach from this interrupt.
|
|
l4_msgtag_t | l4_irq_trigger (l4_cap_idx_t irq) L4_NOTHROW |
| Trigger an IRQ.
|
|
l4_msgtag_t | l4_irq_trigger_u (l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW |
| Trigger the object.
|
|
l4_msgtag_t | l4_irq_receive (l4_cap_idx_t irq, l4_timeout_t to) L4_NOTHROW |
| Unmask and wait for specified IRQ.
|
|
l4_msgtag_t | l4_irq_receive_u (l4_cap_idx_t irq, l4_timeout_t timeout, l4_utcb_t *utcb) L4_NOTHROW |
| Unmask and wait for this IRQ.
|
|
l4_msgtag_t | l4_irq_wait (l4_cap_idx_t irq, l4_umword_t *label, l4_timeout_t to) L4_NOTHROW |
| Unmask IRQ and wait for any message.
|
|
l4_msgtag_t | l4_irq_wait_u (l4_cap_idx_t irq, l4_umword_t *label, l4_timeout_t timeout, l4_utcb_t *utcb) L4_NOTHROW |
| Unmask IRQ and (open) wait for any message.
|
|
l4_msgtag_t | l4_irq_unmask (l4_cap_idx_t irq) L4_NOTHROW |
| Unmask IRQ.
|
|
l4_msgtag_t | l4_irq_unmask_u (l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW |
| Unmask this IRQ.
|
|
C Irq interface.
Definition in file irq.h.