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(*)(void *) | isr_handler, | ||
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, |