Searched refs:ppi_domain (Results 1 – 2 of 2) sorted by relevance
706 return (d == gicv5_global_data.ppi_domain); in gicv5_irq_ppi_domain_select()929 domain = gicv5_global_data.ppi_domain; in handle_irq_per_domain()1032 if (gicv5_global_data.ppi_domain) in gicv5_free_domains()1033 irq_domain_remove(gicv5_global_data.ppi_domain); in gicv5_free_domains()1039 gicv5_global_data.ppi_domain = NULL; in gicv5_free_domains()1054 gicv5_global_data.ppi_domain = d; in gicv5_init_domains()
304 struct irq_domain *ppi_domain; member