Searched refs:DOMAIN_BUS_IPI (Results 1 – 6 of 6) 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() 312 ipidomain = irq_find_matching_host(node, DOMAIN_BUS_IPI); in mips_smp_ipi_free() 320 ipidomain = irq_find_matching_host(NULL, DOMAIN_BUS_IPI); in mips_smp_ipi_free()
19 DOMAIN_BUS_IPI, enumerator
223 case DOMAIN_BUS_IPI: in mips_cpu_ipi_match() 246 irq_domain_update_bus_token(ipi_domain, DOMAIN_BUS_IPI); in mips_cpu_register_ipi_domain()
272 irq_domain_update_bus_token(ipi_domain, DOMAIN_BUS_IPI); in bcm2836_arm_irqchip_smp_init()
827 case DOMAIN_BUS_IPI: in gic_ipi_domain_match() 857 irq_domain_update_bus_token(gic_ipi_domain, DOMAIN_BUS_IPI); in gic_register_ipi_domain()
186 irq_domain_update_bus_token(domain, DOMAIN_BUS_IPI); in ipi_mux_create()