Home
last modified time | relevance | path

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

/trusted-firmware-a/include/drivers/arm/
A Dgicv2.h169 unsigned int gicv2_get_pending_interrupt_id(void);
/trusted-firmware-a/plat/common/
A Dplat_gicv2.c47 id = gicv2_get_pending_interrupt_id(); in plat_ic_get_pending_interrupt_id()
/trusted-firmware-a/drivers/arm/gic/v2/
A Dgicv2_main.c209 unsigned int gicv2_get_pending_interrupt_id(void) in gicv2_get_pending_interrupt_id() function

Completed in 6 milliseconds