Home
last modified time | relevance | path

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

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