Searched refs:GICR_ISPENDR0 (Results 1 – 3 of 3) sorted by relevance
155 mmio_read_32(gicr_base + GICR_ISPENDR0) & SGI_MASK; in gic_sgi_save_all()167 mmio_write_32(gicr_base + GICR_ISPENDR0, in gic_sgi_restore_all()
172 #define GICR_ISPENDR0 (GICR_SGIBASE_OFFSET + U(0x200)) macro185 #define GICR_ISPENDR GICR_ISPENDR0
584 return mmio_read_32(base + GICR_ISPENDR0); in gicr_read_ispendr0()589 mmio_write_32(base + GICR_ISPENDR0, val); in gicr_write_ispendr0()