Searched refs:gic_ipi_domain (Results 1 – 1 of 1) sorted by relevance
664 struct irq_domain *gic_ipi_domain; in gic_register_ipi_domain() local667 gic_ipi_domain = irq_domain_add_hierarchy(gic_irq_domain, in gic_register_ipi_domain()671 if (!gic_ipi_domain) { in gic_register_ipi_domain()676 irq_domain_update_bus_token(gic_ipi_domain, DOMAIN_BUS_IPI); in gic_register_ipi_domain()