void icu_handle_irq(void)
Top-level IRQ dispatch entry point.
Definition icu.c:62
bool icu_register_irq(uint32_t irq_num, handler_data_t handler_data)
Register a handler for a hardware interrupt source and enable it.
Definition icu.c:52
void icu_init(const void *fdt)
Initialize the interrupt controller unit.
Definition icu.c:24
void icu_unregister_irq(uint32_t irq_num)
Unregister a handler for a hardware interrupt source and disable it.
Definition icu.c:57
Interrupt handler registration entry.
Definition icu.h:25
void * private_data
Opaque pointer passed to the handler on invocation. Ownership and lifetime are managed by the registe...
Definition icu.h:32
void(* handler)(void *private_data)
Function to invoke when the corresponding INTID fires. NULL indicates no handler is registered for th...
Definition icu.h:28