On Tue, Aug 26, 2014 at 11:03:40AM +0100, Marc Zyngier wrote: > All the arm64 irqchip drivers have been converted to handle_domain_irq, > making it possible to remove the handle_IRQ stub entierely. > > Signed-off-by: Marc Zyngier <marc.zyngier at arm.com> Acked-by: Catalin Marinas <catalin.marinas at arm.com>