Home
last modified time | relevance | path

Searched refs:is_sgi_ppi (Results 1 – 1 of 1) sorted by relevance

/external/arm-trusted-firmware/drivers/arm/gic/v3/
Dgicv3_main.c35 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