Searched refs:ppi_domain (Results 1 – 2 of 2) sorted by relevance
698 return (d == gicv5_global_data.ppi_domain); in gicv5_irq_ppi_domain_select()905 domain = gicv5_global_data.ppi_domain; in handle_irq_per_domain()1008 if (gicv5_global_data.ppi_domain) in gicv5_free_domains()1009 irq_domain_remove(gicv5_global_data.ppi_domain); in gicv5_free_domains()1015 gicv5_global_data.ppi_domain = NULL; in gicv5_free_domains()1030 gicv5_global_data.ppi_domain = d; in gicv5_init_domains()
282 struct irq_domain *ppi_domain; member