[Arm-dev] [PATCH v0 07/20] irqchip: gic-v3: Add gic_get_irq_domain() to get the irqdomain of the GIC.