Searched refs:vgic_sre (Results 1 – 5 of 5) 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()662 if (likely(cpu_if->vgic_sre)) in vgic_v3_load()677 if (likely(cpu_if->vgic_sre)) in vgic_v3_vmcr_sync()
207 if (!cpu_if->vgic_sre) { in __vgic_v3_save_state()251 if (!cpu_if->vgic_sre) { in __vgic_v3_restore_state()270 if (!cpu_if->vgic_sre) { in __vgic_v3_activate_traps()309 if (!cpu_if->vgic_sre) { in __vgic_v3_deactivate_traps()316 if (!cpu_if->vgic_sre) { in __vgic_v3_deactivate_traps()
284 u32 vgic_sre; /* Restored only, change ignored */ member
240 p->regval = vgicv3->vgic_sre; in access_gic_sre()
324 p->regval = vcpu->arch.vgic_cpu.vgic_v3.vgic_sre; in access_gic_sre()