9e027dd979be ("irqchip/nvic: Convert from handle_IRQ() to handle_domain_irq()")