[Arm-dev] [PATCH v1 04/87] irqchip: gic-v3: Add gic_get_irq_domain() to get the irqdomain of the GIC.