Lines Matching refs:vgic_cpu

227 	struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;  in vgic_mmio_read_v3r_ctlr()  local
229 return vgic_cpu->lpis_enabled ? GICR_CTLR_ENABLE_LPIS : 0; in vgic_mmio_read_v3r_ctlr()
237 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; in vgic_mmio_write_v3r_ctlr() local
238 bool was_enabled = vgic_cpu->lpis_enabled; in vgic_mmio_write_v3r_ctlr()
243 vgic_cpu->lpis_enabled = val & GICR_CTLR_ENABLE_LPIS; in vgic_mmio_write_v3r_ctlr()
245 if (was_enabled && !vgic_cpu->lpis_enabled) { in vgic_mmio_write_v3r_ctlr()
250 if (!was_enabled && vgic_cpu->lpis_enabled) in vgic_mmio_write_v3r_ctlr()
257 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; in vgic_mmio_vcpu_rdist_is_last() local
258 struct vgic_redist_region *iter, *rdreg = vgic_cpu->rdreg; in vgic_mmio_vcpu_rdist_is_last()
263 if (vgic_cpu->rdreg_index < rdreg->free_index - 1) { in vgic_mmio_vcpu_rdist_is_last()
265 } else if (rdreg->count && vgic_cpu->rdreg_index == (rdreg->count - 1)) { in vgic_mmio_vcpu_rdist_is_last()
481 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; in vgic_mmio_write_propbase() local
485 if (vgic_cpu->lpis_enabled) in vgic_mmio_write_propbase()
500 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; in vgic_mmio_read_pendbase() local
501 u64 value = vgic_cpu->pendbaser; in vgic_mmio_read_pendbase()
512 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; in vgic_mmio_write_pendbase() local
516 if (vgic_cpu->lpis_enabled) in vgic_mmio_write_pendbase()
520 old_pendbaser = READ_ONCE(vgic_cpu->pendbaser); in vgic_mmio_write_pendbase()
524 } while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser, in vgic_mmio_write_pendbase()
701 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; in vgic_register_redist_iodev() local
702 struct vgic_io_device *rd_dev = &vcpu->arch.vgic_cpu.rd_iodev; in vgic_register_redist_iodev()
707 if (!IS_VGIC_ADDR_UNDEF(vgic_cpu->rd_iodev.base_addr)) in vgic_register_redist_iodev()
723 vgic_cpu->rdreg = rdreg; in vgic_register_redist_iodev()
724 vgic_cpu->rdreg_index = rdreg->free_index; in vgic_register_redist_iodev()
749 struct vgic_io_device *rd_dev = &vcpu->arch.vgic_cpu.rd_iodev; in vgic_unregister_redist_iodev()