void generic_irq_handler(GlobalIrqNumber irq, iris::arch::TaskState &task_state, int error_code)
Generic entry point called by assembly when an interrupt occurs.
Definition irq.cpp:57
di::Optional< di::Synchronized< IrqController > & > controller
Definition irq.h:10
arch::TaskState & task_state
Definition irq.h:8