osnoise_trace_irq_entry
osnoise_trace_irq_entry(vector);
void osnoise_trace_irq_entry(int id);
osnoise_trace_irq_entry(irq);