![]()  | 
  
    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, |