Searched refs:gic_ipi_domain (Results 1 – 1 of 1) sorted by relevance
681 struct irq_domain *gic_ipi_domain; in gic_register_ipi_domain() local684 gic_ipi_domain = irq_domain_add_hierarchy(gic_irq_domain, in gic_register_ipi_domain()688 if (!gic_ipi_domain) { in gic_register_ipi_domain()693 irq_domain_update_bus_token(gic_ipi_domain, DOMAIN_BUS_IPI); in gic_register_ipi_domain()
