verilog/dv/caravel/user_proj_example/sw/n5_int.h

void IRQ (void) __attribute__ ((interrupt ("machine")));