Home
last modified time | relevance | path

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

/trusted-firmware-a-latest/drivers/arm/gic/v3/
Dgicv3_main.c38 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
/trusted-firmware-a-latest/docs/security_advisories/
Dsecurity-advisory-tfv-11.rst61 -> is_sgi_ppi(interrupt ID)
63 is_sgi_ppi() will end up in an EL3 panic on encountering an invalid interrupt ID.