Searched refs:GICD_ICPENDRn (Results 1 – 2 of 2) sorted by relevance
84 #define GICD_ICPENDRn (GIC_DIST_BASE + 0x280) macro
89 sys_write32((1 << int_off), (GICD_ICPENDRn + int_grp * 4)); in arm_gic_irq_clear_pending()