| assert_irq(void) | irq | [inline] |
| client (defined in detail::ipc_irq) | detail::ipc_irq | [private] |
| consume(void) | irq | [inline] |
| do_assert(void) (defined in detail::ipc_irq) | detail::ipc_irq | [inline, private] |
| do_wait(const l4_threadid_t client, const l4_timeout_t timeout) (defined in detail::ipc_irq) | detail::ipc_irq | [inline, private] |
| get_state(void) const | irq | [inline] |
| ipc_irq(void) (defined in detail::ipc_irq) | detail::ipc_irq | [inline, private] |
| irq(void) | irq | [inline] |
| is_masked(void) const | irq | [inline] |
| is_pending(void) const | irq | [inline] |
| mask(void) | irq | [inline] |
| MASKED enum value | irq | [protected] |
| PENDING enum value | irq | [protected] |
| state | irq | [protected] |
| state_bits enum name | irq | [protected] |
| unmask(void) | irq | [inline] |
| wait(const l4_threadid_t client, const l4_timeout_t timeout) | irq | [inline] |