Searched refs:GICR_ICPENDR0 (Results 1 – 1 of 1) sorted by relevance
74 #define GICR_ICPENDR0 (GICR_SGI_BASE_OFFSET + 0x280) macro282 io_write32(gicr_base + GICR_ICPENDR0, BIT32(n)); in gicv3_sync_redist_config()412 io_write32(gicr_base + GICR_ICPENDR0, BIT32(it)); in gic_init_donate_sgi_to_ns()1024 io_write32(gicr_base + GICR_ICPENDR0, BIT32(it)); in gic_op_configure()