Home
last modified time | relevance | path

Searched refs:PENDING_G1_INTID (Results 1 – 4 of 4) sorted by relevance

/rk3399_ARM-atf/plat/st/stm32mp1/
H A Dstm32mp1_pm.c49 if ((interrupt != PENDING_G1_INTID) && in stm32_cpu_standby()
/rk3399_ARM-atf/include/drivers/arm/
H A Dgicv2.h23 #define PENDING_G1_INTID U(1022) macro
/rk3399_ARM-atf/plat/common/
H A Dplat_gicv2.c77 if (id < PENDING_G1_INTID) { in plat_ic_get_pending_interrupt_type()
/rk3399_ARM-atf/drivers/arm/gic/v2/
H A Dgicv2_main.c223 if (id == PENDING_G1_INTID) { in gicv2_get_pending_interrupt_id()