Home
last modified time | relevance | path

Searched refs:gicv2_get_interrupt_active (Results 1 – 6 of 6) sorted by relevance

/external/arm-trusted-firmware/include/drivers/arm/
Dgicv2.h175 unsigned int gicv2_get_interrupt_active(unsigned int id);
/external/trusty/arm-trusted-firmware/include/drivers/arm/
Dgicv2.h187 unsigned int gicv2_get_interrupt_active(unsigned int id);
/external/arm-trusted-firmware/plat/common/
Dplat_gicv2.c175 return gicv2_get_interrupt_active(id); in plat_ic_get_interrupt_active()
/external/trusty/arm-trusted-firmware/plat/common/
Dplat_gicv2.c178 return gicv2_get_interrupt_active(id); in plat_ic_get_interrupt_active()
/external/trusty/arm-trusted-firmware/drivers/arm/gic/v2/
Dgicv2_main.c333 unsigned int gicv2_get_interrupt_active(unsigned int id) in gicv2_get_interrupt_active() function
/external/arm-trusted-firmware/drivers/arm/gic/v2/
Dgicv2_main.c332 unsigned int gicv2_get_interrupt_active(unsigned int id) in gicv2_get_interrupt_active() function