Searched refs:GICR_ICPENDR0 (Results 1 – 1 of 1) sorted by relevance
80 #define GICR_ICPENDR0 (GICR_SGI_BASE_OFFSET + 0x280) macro290 io_write32(gicr_base + GICR_ICPENDR0, BIT32(n)); in gicv3_sync_redist_config()420 io_write32(gicr_base + GICR_ICPENDR0, BIT32(it)); in gic_init_donate_sgi_to_ns()1032 io_write32(gicr_base + GICR_ICPENDR0, BIT32(it)); in gic_op_configure()