Home
last modified time | relevance | path

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

/rk3399_ARM-atf/include/drivers/arm/
H A Dgicv3.h19 #define PENDING_G1S_INTID U(1020) macro
381 return (id >= PENDING_G1S_INTID) && (id <= GIC_SPURIOUS_INTERRUPT); in gicv3_is_intr_id_special_identifier()
/rk3399_ARM-atf/plat/common/
H A Dplat_gicv3.c85 case PENDING_G1S_INTID: in plat_ic_get_pending_interrupt_type()
/rk3399_ARM-atf/drivers/arm/gic/v3/
H A Dgicv3_main.c402 if ((id == PENDING_G1S_INTID) || (id == PENDING_G1NS_INTID)) { in gicv3_get_pending_interrupt_id()
443 assert((id < PENDING_G1S_INTID) || (id >= MIN_LPI_ID)); in gicv3_get_interrupt_group()
/rk3399_ARM-atf/docs/
H A Dporting-guide.rst3523 #. id = ``PENDING_G1S_INTID`` (1020) is reported as a S-EL1 interrupt
3557 #. id < ``PENDING_G1S_INTID`` (1020). id is returned as is.
3558 #. id = ``PENDING_G1S_INTID`` (1020) or ``PENDING_G1NS_INTID`` (1021). The system