Searched refs:gic_ipi_domain (Results 1 – 1 of 1) sorted by relevance
679 struct irq_domain *gic_ipi_domain; in gic_register_ipi_domain() local682 gic_ipi_domain = irq_domain_add_hierarchy(gic_irq_domain, in gic_register_ipi_domain()686 if (!gic_ipi_domain) { in gic_register_ipi_domain()691 irq_domain_update_bus_token(gic_ipi_domain, DOMAIN_BUS_IPI); in gic_register_ipi_domain()
