Home
last modified time | relevance | path

Searched refs:gmod0 (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/drivers/
H A Dgic.c251 uint32_t gmod0 = 0; in gicv3_sync_redist_config() local
263 gmod0 = io_read32(gicr_base + GICR_IGRPMODR0); in gicv3_sync_redist_config()
267 !(BIT32(n) & (gmod0 ^ gd->per_cpu_group_modifier))) in gicv3_sync_redist_config()
289 gmod0 |= BIT32(n); in gicv3_sync_redist_config()
291 gmod0 &= ~BIT32(n); in gicv3_sync_redist_config()
296 io_write32(gicr_base + GICR_IGRPMODR0, gmod0); in gicv3_sync_redist_config()