Searched refs:vgic_sre (Results 1 – 6 of 6) sorted by relevance
289 vgic_v3->vgic_sre = (ICC_SRE_EL1_DIB | in vgic_v3_enable()294 vgic_v3->vgic_sre = 0; in vgic_v3_enable()660 if (likely(cpu_if->vgic_sre)) in vgic_v3_load()673 if (likely(cpu_if->vgic_sre)) in vgic_v3_vmcr_sync()
208 if (!cpu_if->vgic_sre) { in __vgic_v3_save_state()253 if (!cpu_if->vgic_sre) { in __vgic_v3_restore_state()274 if (!cpu_if->vgic_sre) { in __vgic_v3_activate_traps()314 if (!cpu_if->vgic_sre) { in __vgic_v3_deactivate_traps()321 if (!cpu_if->vgic_sre) { in __vgic_v3_deactivate_traps()
278 u32 vgic_sre; /* Restored only, change ignored */ member
240 p->regval = vgicv3->vgic_sre; in access_gic_sre()
292 p->regval = vcpu->arch.vgic_cpu.vgic_v3.vgic_sre; in access_gic_sre()
275 *vcpu_reg(vcpu, p->Rt1) = vcpu->arch.vgic_cpu.vgic_v3.vgic_sre; in access_gic_sre()
