gic_ipi_domain     53 drivers/irqchip/irq-mips-gic.c static struct irq_domain *gic_ipi_domain;
gic_ipi_domain    767 drivers/irqchip/irq-mips-gic.c 	gic_ipi_domain = irq_domain_add_hierarchy(gic_irq_domain,
gic_ipi_domain    771 drivers/irqchip/irq-mips-gic.c 	if (!gic_ipi_domain) {
gic_ipi_domain    776 drivers/irqchip/irq-mips-gic.c 	irq_domain_update_bus_token(gic_ipi_domain, DOMAIN_BUS_IPI);