108 static void vgic_v4_sync_sgi_config(struct its_vpe *vpe, struct vgic_irq *irq)  in vgic_v4_sync_sgi_config()  argument
110 	vpe->sgi_config[irq->intid].enabled	= irq->enabled;  in vgic_v4_sync_sgi_config()
111 	vpe->sgi_config[irq->intid].group 	= irq->group;  in vgic_v4_sync_sgi_config()
112 	vpe->sgi_config[irq->intid].priority	= irq->priority;  in vgic_v4_sync_sgi_config()
117 	struct its_vpe *vpe = &vcpu->arch.vgic_cpu.vgic_v3.its_vpe;  in vgic_v4_enable_vsgis()  local
137 		irq->host_irq = irq_find_mapping(vpe->sgi_domain, i);  in vgic_v4_enable_vsgis()
140 		vgic_v4_sync_sgi_config(vpe, irq);  in vgic_v4_enable_vsgis()
315 	struct its_vpe *vpe = &vcpu->arch.vgic_cpu.vgic_v3.its_vpe;  in vgic_v4_put()  local
317 	if (!vgic_supports_direct_msis(vcpu->kvm) || !vpe->resident)  in vgic_v4_put()
320 	return its_make_vpe_non_resident(vpe, need_db);  in vgic_v4_put()
325 	struct its_vpe *vpe = &vcpu->arch.vgic_cpu.vgic_v3.its_vpe;  in vgic_v4_load()  local
328 	if (!vgic_supports_direct_msis(vcpu->kvm) || vpe->resident)  in vgic_v4_load()
337 	err = irq_set_affinity(vpe->irq, cpumask_of(smp_processor_id()));  in vgic_v4_load()
341 	err = its_make_vpe_resident(vpe, false, vcpu->kvm->arch.vgic.enabled);  in vgic_v4_load()
351 		err = irq_set_irqchip_state(vpe->irq, IRQCHIP_STATE_PENDING, false);  in vgic_v4_load()
405 		.vpe		= &irq->target_vcpu->arch.vgic_cpu.vgic_v3.its_vpe,  in kvm_vgic_v4_set_forwarding()
419 	atomic_inc(&map.vpe->vlpi_count);  in kvm_vgic_v4_set_forwarding()