Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dgic.c252 uint32_t grp0 = 0; in gicv3_sync_redist_config() local
262 grp0 = io_read32(gicr_base + GICR_IGROUPR0); in gicv3_sync_redist_config()
266 if (!(BIT32(n) & (grp0 ^ gd->per_cpu_group_status)) && in gicv3_sync_redist_config()
285 grp0 |= BIT32(n); in gicv3_sync_redist_config()
287 grp0 &= ~BIT32(n); in gicv3_sync_redist_config()
295 io_write32(gicr_base + GICR_IGROUPR0, grp0); in gicv3_sync_redist_config()
304 uint32_t grp0 = 0; in gic_legacy_sync_dist_config() local
307 grp0 = io_read32(gd->gicd_base + GICD_IGROUPR(0)); in gic_legacy_sync_dist_config()
310 if (!(BIT32(n) & (grp0 ^ gd->per_cpu_group_status))) in gic_legacy_sync_dist_config()
325 grp0 |= BIT32(n); in gic_legacy_sync_dist_config()
[all …]