Searched refs:GICR_IGRPMODR0 (Results 1 – 1 of 1) sorted by relevance
72 #define GICR_IGRPMODR0 (GICR_SGI_BASE_OFFSET + 0xD00) macro263 gmod0 = io_read32(gicr_base + GICR_IGRPMODR0); in gicv3_sync_redist_config()296 io_write32(gicr_base + GICR_IGRPMODR0, gmod0); in gicv3_sync_redist_config()416 io_write32(gicr_base + GICR_IGRPMODR0, in gic_init_donate_sgi_to_ns()582 GICR_IGRPMODR0); in gic_init_v3()1028 io_write32(gicr_base + GICR_IGRPMODR0, in gic_op_configure()