int trapa_set_handler(trapa_t trap, trapa_handler hnd, void *data)
Set or remove a handler for a trapa code.
void(* trapa_handler)(trapa_t trap, irq_context_t *context, void *data)
The type of a TRAPA handler.
Definition trap.h:70
Architecture-specific structure for holding the processor state.
Definition irq.h:86