Devices with combined IRQs would call the cortexm_isr_end handler twice when it is part of the irq_handler routine.