from Nios Software Handbook chapter 6-6 page 101
Registering an ISR with alt_irq_register()
...
...
■ id is the hardware interrupt number for the device, as defined in
system.h. Interrupt priority corresponds inversely to the IRQ
number. Therefore, IRQ 0 represents the highest priority interrupt
and IRQ 31 is the lowest.
...
...
