Searched full:ppi_domain (Results 1 – 1 of 1) sorted by relevance
692 return (d == gicv5_global_data.ppi_domain); in gicv5_irq_ppi_domain_select()918 domain = gicv5_global_data.ppi_domain; in handle_irq_per_domain()1031 if (gicv5_global_data.ppi_domain) in gicv5_free_domains()1032 irq_domain_remove(gicv5_global_data.ppi_domain); in gicv5_free_domains()1038 gicv5_global_data.ppi_domain = NULL; in gicv5_free_domains()1053 gicv5_global_data.ppi_domain = d; in gicv5_init_domains()