Searched refs:is_sgi_ppi (Results 1 – 2 of 2) sorted by relevance
38 static bool is_sgi_ppi(unsigned int id);451 if (is_sgi_ppi(id)) { in gicv3_get_interrupt_group()946 if (is_sgi_ppi(id)) { in gicv3_get_interrupt_active()978 if (is_sgi_ppi(id)) { in gicv3_enable_interrupt()1009 if (is_sgi_ppi(id)) { in gicv3_disable_interrupt()1045 if (is_sgi_ppi(id)) { in gicv3_set_interrupt_priority()1092 if (is_sgi_ppi(id)) { in gicv3_set_interrupt_group()1233 if (is_sgi_ppi(id)) { in gicv3_clear_interrupt_pending()1267 if (is_sgi_ppi(id)) { in gicv3_set_interrupt_pending()1402 static bool is_sgi_ppi(unsigned int id) in is_sgi_ppi() function
61 -> is_sgi_ppi(interrupt ID)63 is_sgi_ppi() will end up in an EL3 panic on encountering an invalid interrupt ID.