osnoise_trace_irq_exit
osnoise_trace_irq_exit(vector, vector_desc);
void osnoise_trace_irq_exit(int id, const char *desc);
osnoise_trace_irq_exit(irq, action->name);