Home
last modified time | relevance | path

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

/arm-trusted-firmware-2.8.0/include/drivers/arm/
A Dgicv2.h181 unsigned int gicv2_get_pending_interrupt_id(void);
/arm-trusted-firmware-2.8.0/plat/common/
A Dplat_gicv2.c50 id = gicv2_get_pending_interrupt_id(); in plat_ic_get_pending_interrupt_id()
/arm-trusted-firmware-2.8.0/drivers/arm/gic/v2/
A Dgicv2_main.c210 unsigned int gicv2_get_pending_interrupt_id(void) in gicv2_get_pending_interrupt_id() function

Completed in 4 milliseconds