Searched refs:DOMAIN_BUS_IPI (Results 1 – 4 of 4) sorted by relevance
252 ipidomain = irq_find_matching_host(node, DOMAIN_BUS_IPI); in mips_smp_ipi_allocate()260 ipidomain = irq_find_matching_host(NULL, DOMAIN_BUS_IPI); in mips_smp_ipi_allocate()309 ipidomain = irq_find_matching_host(node, DOMAIN_BUS_IPI); in mips_smp_ipi_free()317 ipidomain = irq_find_matching_host(NULL, DOMAIN_BUS_IPI); in mips_smp_ipi_free()
218 case DOMAIN_BUS_IPI: in mips_cpu_ipi_match()243 irq_domain_update_bus_token(ipi_domain, DOMAIN_BUS_IPI); in mips_cpu_register_ipi_domain()
640 case DOMAIN_BUS_IPI: in gic_ipi_domain_match()776 irq_domain_update_bus_token(gic_ipi_domain, DOMAIN_BUS_IPI); in gic_of_init()
81 DOMAIN_BUS_IPI, enumerator
