Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dgic.c144 uint32_t per_cpu_group_modifier; member
267 !(BIT32(n) & (gmod0 ^ gd->per_cpu_group_modifier))) in gicv3_sync_redist_config()
288 if (BIT32(n) & gd->per_cpu_group_modifier) in gicv3_sync_redist_config()
394 (gd->per_cpu_group_modifier & BIT32(it))); in gic_init_donate_sgi_to_ns()
396 gd->per_cpu_group_modifier &= ~BIT32(it); in gic_init_donate_sgi_to_ns()
417 gd->per_cpu_group_modifier); in gic_init_donate_sgi_to_ns()
581 gd->per_cpu_group_modifier = io_read32(gicr_base + in gic_init_v3()
587 gd->per_cpu_group_modifier = ~gd->per_cpu_group_status; in gic_init_v3()
593 gd->per_cpu_group_modifier = ~gd->per_cpu_group_status; in gic_init_v3()
615 gd->per_cpu_group_modifier = ~gd->per_cpu_group_status; in gic_init_v3()
[all …]