Searched refs:vgic_sre (Results 1 – 5 of 5) sorted by relevance
277 vgic_v3->vgic_sre = (ICC_SRE_EL1_DIB | in vgic_v3_enable()282 vgic_v3->vgic_sre = 0; in vgic_v3_enable()729 if (likely(cpu_if->vgic_sre)) in vgic_v3_load()744 if (likely(cpu_if->vgic_sre)) in vgic_v3_vmcr_sync()
209 if (!cpu_if->vgic_sre) { in __vgic_v3_save_state()253 if (!cpu_if->vgic_sre) { in __vgic_v3_restore_state()272 if (!cpu_if->vgic_sre) { in __vgic_v3_activate_traps()311 if (!cpu_if->vgic_sre) { in __vgic_v3_deactivate_traps()318 if (!cpu_if->vgic_sre) { in __vgic_v3_deactivate_traps()
308 u32 vgic_sre; /* Restored only, change ignored */ member
295 *val = vgicv3->vgic_sre; in get_gic_sre()
249 p->regval = vcpu->arch.vgic_cpu.vgic_v3.vgic_sre; in access_gic_sre()