Lines Matching defs:vcpu
29 void vgic_v2_set_underflow(struct kvm_vcpu *vcpu)
31 struct vgic_v2_cpu_if *cpuif = &vcpu->arch.vgic_cpu.vgic_v2;
49 void vgic_v2_fold_lr_state(struct kvm_vcpu *vcpu)
51 struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu;
70 if (lr_signals_eoi_mi(val) && vgic_valid_spi(vcpu->kvm, intid))
71 kvm_notify_acked_irq(vcpu->kvm, 0,
74 irq = vgic_get_irq(vcpu->kvm, vcpu, intid);
120 vgic_put_irq(vcpu->kvm, irq);
137 void vgic_v2_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr)
212 vcpu->arch.vgic_cpu.vgic_v2.vgic_lr[lr] = val;
215 void vgic_v2_clear_lr(struct kvm_vcpu *vcpu, int lr)
217 vcpu->arch.vgic_cpu.vgic_v2.vgic_lr[lr] = 0;
220 void vgic_v2_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcrp)
222 struct vgic_v2_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v2;
247 void vgic_v2_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcrp)
249 struct vgic_v2_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v2;
275 void vgic_v2_enable(struct kvm_vcpu *vcpu)
282 vcpu->arch.vgic_cpu.vgic_v2.vgic_vmcr = 0;
285 vcpu->arch.vgic_cpu.vgic_v2.vgic_hcr = GICH_HCR_EN;
376 if (!PAGE_ALIGNED(info->vcpu.start) ||
377 !PAGE_ALIGNED(resource_size(&info->vcpu))) {
380 ret = create_hyp_io_mappings(info->vcpu.start,
381 resource_size(&info->vcpu),
411 kvm_vgic_global_state.vcpu_base = info->vcpu.start;
427 static void save_lrs(struct kvm_vcpu *vcpu, void __iomem *base)
429 struct vgic_v2_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v2;
448 void vgic_v2_save_state(struct kvm_vcpu *vcpu)
451 u64 used_lrs = vcpu->arch.vgic_cpu.vgic_v2.used_lrs;
457 save_lrs(vcpu, base);
462 void vgic_v2_restore_state(struct kvm_vcpu *vcpu)
464 struct vgic_v2_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v2;
481 void vgic_v2_load(struct kvm_vcpu *vcpu)
483 struct vgic_v2_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v2;
491 void vgic_v2_vmcr_sync(struct kvm_vcpu *vcpu)
493 struct vgic_v2_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v2;
498 void vgic_v2_put(struct kvm_vcpu *vcpu)
500 struct vgic_v2_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v2;
502 vgic_v2_vmcr_sync(vcpu);