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