DOMAIN_BUS_IPI
ipidomain = irq_find_matching_host(node, DOMAIN_BUS_IPI);
ipidomain = irq_find_matching_host(NULL, DOMAIN_BUS_IPI);
ipidomain = irq_find_matching_host(node, DOMAIN_BUS_IPI);
ipidomain = irq_find_matching_host(NULL, DOMAIN_BUS_IPI);
irq_domain_update_bus_token(mpic->ipi_domain, DOMAIN_BUS_IPI);
irq_domain_update_bus_token(ipi_domain, DOMAIN_BUS_IPI);
case DOMAIN_BUS_IPI:
irq_domain_update_bus_token(ipi_domain, DOMAIN_BUS_IPI);
case DOMAIN_BUS_IPI:
irq_domain_update_bus_token(gic_ipi_domain, DOMAIN_BUS_IPI);
irq_domain_update_bus_token(domain, DOMAIN_BUS_IPI);