DOMAIN_BUS_IPI    241 arch/mips/kernel/smp.c 	ipidomain = irq_find_matching_host(node, DOMAIN_BUS_IPI);
DOMAIN_BUS_IPI    249 arch/mips/kernel/smp.c 		ipidomain = irq_find_matching_host(NULL, DOMAIN_BUS_IPI);
DOMAIN_BUS_IPI    298 arch/mips/kernel/smp.c 	ipidomain = irq_find_matching_host(node, DOMAIN_BUS_IPI);
DOMAIN_BUS_IPI    306 arch/mips/kernel/smp.c 		ipidomain = irq_find_matching_host(NULL, DOMAIN_BUS_IPI);
DOMAIN_BUS_IPI    214 drivers/irqchip/irq-mips-cpu.c 	case DOMAIN_BUS_IPI:
DOMAIN_BUS_IPI    239 drivers/irqchip/irq-mips-cpu.c 	irq_domain_update_bus_token(ipi_domain, DOMAIN_BUS_IPI);
DOMAIN_BUS_IPI    640 drivers/irqchip/irq-mips-gic.c 	case DOMAIN_BUS_IPI:
DOMAIN_BUS_IPI    776 drivers/irqchip/irq-mips-gic.c 	irq_domain_update_bus_token(gic_ipi_domain, DOMAIN_BUS_IPI);