Searched refs:GICR_ICPENDR0 (Results 1 – 3 of 3) sorted by relevance
173 #define GICR_ICPENDR0 (GICR_SGIBASE_OFFSET + U(0x280)) macro186 #define GICR_ICPENDR GICR_ICPENDR0
166 mmio_write_32(gicr_base + GICR_ICPENDR0, SGI_MASK); in gic_sgi_restore_all()
434 mmio_write_32(base + GICR_ICPENDR0, val); in gicr_write_icpendr0()