Home
last modified time | relevance | path

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

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