Lines Matching refs:vgic_cpu
240 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
242 return atomic_read(&vgic_cpu->ctlr) == GICR_CTLR_ENABLE_LPIS;
248 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
251 val = atomic_read(&vgic_cpu->ctlr);
262 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
273 ctlr = atomic_cmpxchg_acquire(&vgic_cpu->ctlr,
281 atomic_set_release(&vgic_cpu->ctlr, 0);
283 ctlr = atomic_cmpxchg_acquire(&vgic_cpu->ctlr, 0,
295 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
296 struct vgic_redist_region *iter, *rdreg = vgic_cpu->rdreg;
301 if (vgic_cpu->rdreg_index < rdreg->free_index - 1) {
303 } else if (rdreg->count && vgic_cpu->rdreg_index == (rdreg->count - 1)) {
508 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
509 u64 value = vgic_cpu->pendbaser;
520 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
528 old_pendbaser = READ_ONCE(vgic_cpu->pendbaser);
532 } while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser,
539 return !!atomic_read(&vcpu->arch.vgic_cpu.syncr_busy);
545 atomic_inc(&vcpu->arch.vgic_cpu.syncr_busy);
549 atomic_dec(&vcpu->arch.vgic_cpu.syncr_busy);
775 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
776 struct vgic_io_device *rd_dev = &vcpu->arch.vgic_cpu.rd_iodev;
784 if (!IS_VGIC_ADDR_UNDEF(vgic_cpu->rd_iodev.base_addr))
802 vgic_cpu->rdreg = rdreg;
803 vgic_cpu->rdreg_index = rdreg->free_index;
832 struct vgic_io_device *rd_dev = &vcpu->arch.vgic_cpu.rd_iodev;