In a few cases, interrupts are shared between peripherals, and the evic.py code understands this. It generates symbols like EVIC_4_NUMBER, EVIC_5_NUMBER for interrupts that are not shared, but for ...