int_handler_t type <nucleus/kernel.h>
The int_handler_t type describes an interrupt handler function pointer. The handler will be called on every occurrence of the interrupt it is installed for, using Processor$register_int_handler.
Syntax
typedef void (*int_handler_t)(reg_t num, reg_t err);
Parameters
num
The interrupt vector of the interrupt that occurred. This value is most useful if an interrupt handler is installed for multiple interrupts.
err
The error code, if any, that was set by the interrupt. If the interrupt did not push an error code, this value will be zero.