kvm/vgic/vgic-v4.c

108 static void vgic_v4_sync_sgi_config(struct its_vpe *vpe, struct vgic_irq *irq)
110 	vpe->sgi_config[irq->intid].enabled	= irq->enabled;
111 	vpe->sgi_config[irq->intid].group 	= irq->group;
112 	vpe->sgi_config[irq->intid].priority	= irq->priority;
117 	struct its_vpe *vpe = &vcpu->arch.vgic_cpu.vgic_v3.its_vpe;
137 		irq->host_irq = irq_find_mapping(vpe->sgi_domain, i);
140 		vgic_v4_sync_sgi_config(vpe, irq);
215 	struct its_vpe *vpe = &irq->target_vcpu->arch.vgic_cpu.vgic_v3.its_vpe;
220 	va = page_address(vpe->vpt_page);
357 	struct its_vpe *vpe = &vcpu->arch.vgic_cpu.vgic_v3.its_vpe;
359 	if (!vgic_supports_direct_irqs(vcpu->kvm) || !vpe->resident)
362 	return its_make_vpe_non_resident(vpe, vgic_v4_want_doorbell(vcpu));
367 	struct its_vpe *vpe = &vcpu->arch.vgic_cpu.vgic_v3.its_vpe;
370 	if (!vgic_supports_direct_irqs(vcpu->kvm) || vpe->resident)
382 	err = irq_set_affinity(vpe->irq, cpumask_of(smp_processor_id()));
386 	err = its_make_vpe_resident(vpe, false, vcpu->kvm->arch.vgic.enabled);
396 		err = irq_set_irqchip_state(vpe->irq, IRQCHIP_STATE_PENDING, false);
403 	struct its_vpe *vpe = &vcpu->arch.vgic_cpu.vgic_v3.its_vpe;
409 	if (!vpe->ready)
410 		its_commit_vpe(vpe);
474 		.vpe		= &irq->target_vcpu->arch.vgic_cpu.vgic_v3.its_vpe,
488 	atomic_inc(&map.vpe->vlpi_count);