![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
This group is just an enhanced version to l4irq_request() which takes a capability object instead of a plain number. More...
Functions | |
| l4irq_t * | l4irq_request_cap (l4_cap_idx_t irqcap, void(*isr_handler)(void *), void *isr_data, int irq_thread_prio, unsigned mode) |
| Attach asychronous ISR handler to IRQ. | |
This group is just an enhanced version to l4irq_request() which takes a capability object instead of a plain number.
| l4irq_t * l4irq_request_cap | ( | l4_cap_idx_t | irqcap, |
| void(* | isr_handler )(void *), | ||
| void * | isr_data, | ||
| int | irq_thread_prio, | ||
| unsigned | mode ) |
Attach asychronous ISR handler to IRQ.
| irqcap | IRQ capability |
| isr_handler | Handler routine that is called when an interrupt triggers |
| isr_data | Pointer given as argument to isr_handler |
| irq_thread_prio | L4 thread priority of the ISR handler. Give -1 for same priority as creator. |
| mode | Interrupt type, |