If you use DT_INTS you can have a label name for each interrupt source. If you do it on
your own, just check interrupt flag bits in the interrupt service routine, and then jump to
the appropriate interrupt handler with a RETFIE at the end.

If you're using ON INTERRUPT, I recommend you do everything in a single interrupt handler.