#include <irq_controller.h>
Libmetal interrupt structure
Argument to pass to the interrupt handler
Interrupt handler