Home
last modified time | relevance | path

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

/trusted-firmware-a-3.4.0/include/drivers/arm/
Dgicv2.h190 void gicv2_set_interrupt_pending(unsigned int id);
/trusted-firmware-a-3.4.0/plat/common/
Dplat_gicv2.c280 gicv2_set_interrupt_pending(id); in plat_ic_set_interrupt_pending()
/trusted-firmware-a-3.4.0/drivers/arm/gic/v2/
Dgicv2_main.c508 void gicv2_set_interrupt_pending(unsigned int id) in gicv2_set_interrupt_pending() function