Searched refs:GICD_ISPENDRn (Results 1 – 2 of 2) sorted by relevance
77 #define GICD_ISPENDRn (GIC_DIST_BASE + 0x200) macro
77 enabler = sys_read32(GICD_ISPENDRn + int_grp * 4); in arm_gic_irq_is_pending()