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