Lines Matching refs:vgic_cpu
227 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
229 return vgic_cpu->lpis_enabled ? GICR_CTLR_ENABLE_LPIS : 0;
237 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
238 bool was_enabled = vgic_cpu->lpis_enabled;
243 vgic_cpu->lpis_enabled = val & GICR_CTLR_ENABLE_LPIS;
245 if (was_enabled && !vgic_cpu->lpis_enabled) {
250 if (!was_enabled && vgic_cpu->lpis_enabled)
258 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
259 struct vgic_redist_region *rdreg = vgic_cpu->rdreg;
481 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
485 if (vgic_cpu->lpis_enabled)
500 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
501 u64 value = vgic_cpu->pendbaser;
512 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
516 if (vgic_cpu->lpis_enabled)
520 old_pendbaser = READ_ONCE(vgic_cpu->pendbaser);
524 } while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser,
701 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
702 struct vgic_io_device *rd_dev = &vcpu->arch.vgic_cpu.rd_iodev;
707 if (!IS_VGIC_ADDR_UNDEF(vgic_cpu->rd_iodev.base_addr))
723 vgic_cpu->rdreg = rdreg;
748 struct vgic_io_device *rd_dev = &vcpu->arch.vgic_cpu.rd_iodev;