Searched refs:vgic_v4_request_vpe_irq (Results 1 – 3 of 3) sorted by relevance
225 int vgic_v4_request_vpe_irq(struct kvm_vcpu *vcpu, int irq) in vgic_v4_request_vpe_irq() function292 ret = vgic_v4_request_vpe_irq(vcpu, irq); in vgic_v4_init()
344 int vgic_v4_request_vpe_irq(struct kvm_vcpu *vcpu, int irq);
368 WARN_ON(vgic_v4_request_vpe_irq(kvm_get_vcpu(kvm, i), in map_all_vpes()