3.3.3 IRQ routing