Public Attributes | |
| int | active |
| IRQ in use. | |
| int | num |
| IRQ number. | |
| l4thread_t | t |
| handler thread | |
| void(* | handler )(int, void *, struct pt_regs *) |
| ISR. | |
| unsigned long | flags |
| flags from request_irq() | |
| const char * | dev_name |
| dev_name from request_irq() | |
| void * | dev_id |
| dev_id from request_irq() | |
Definition at line 67 of file irq.c.