Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dgic.c260 uint32_t grp0 = 0; in gicv3_sync_redist_config() local
270 grp0 = io_read32(gicr_base + GICR_IGROUPR0); in gicv3_sync_redist_config()
274 if (!(BIT32(n) & (grp0 ^ gd->per_cpu_group_status)) && in gicv3_sync_redist_config()
293 grp0 |= BIT32(n); in gicv3_sync_redist_config()
295 grp0 &= ~BIT32(n); in gicv3_sync_redist_config()
303 io_write32(gicr_base + GICR_IGROUPR0, grp0); in gicv3_sync_redist_config()
312 uint32_t grp0 = 0; in gic_legacy_sync_dist_config() local
315 grp0 = io_read32(gd->gicd_base + GICD_IGROUPR(0)); in gic_legacy_sync_dist_config()
318 if (!(BIT32(n) & (grp0 ^ gd->per_cpu_group_status))) in gic_legacy_sync_dist_config()
333 grp0 |= BIT32(n); in gic_legacy_sync_dist_config()
[all …]