Searched refs:is_sgi_ppi (Results 1 – 1 of 1) sorted by relevance
35 static bool is_sgi_ppi(unsigned int id);436 if (is_sgi_ppi(id)) { in gicv3_get_interrupt_type()974 if (is_sgi_ppi(id)) { in gicv3_get_interrupt_active()1003 if (is_sgi_ppi(id)) { in gicv3_enable_interrupt()1031 if (is_sgi_ppi(id)) { in gicv3_disable_interrupt()1065 if (is_sgi_ppi(id)) { in gicv3_set_interrupt_priority()1110 if (is_sgi_ppi(id)) { in gicv3_set_interrupt_type()1229 if (is_sgi_ppi(id)) { in gicv3_clear_interrupt_pending()1260 if (is_sgi_ppi(id)) { in gicv3_set_interrupt_pending()1367 static bool is_sgi_ppi(unsigned int id) in is_sgi_ppi() function