Public Attributes | |
| int | active |
| IRQ in use. | |
| int | num |
| IRQ number. | |
| l4thread_t | t |
| handler thread | |
| struct { | |
| void(* isr )(int, void *, struct pt_regs *) | |
| ISRs. | |
| unsigned long flags | |
| flags from request_irq() | |
| const char * dev_name | |
| dev_name from request_irq() | |
| void * dev_id | |
| dev_id from request_irq() | |
| } | h [MAX_IRQ_HANDLERS] |
| void(* | def_handler )(int, void *) |
| deferred handler | |
| void * | dev_def_id |
| deffered handler id | |
Definition at line 49 of file irq.c.