Searched refs:vgic_v4_request_vpe_irq (Results 1 – 3 of 3) sorted by relevance
226 int vgic_v4_request_vpe_irq(struct kvm_vcpu *vcpu, int irq) in vgic_v4_request_vpe_irq() function293 ret = vgic_v4_request_vpe_irq(vcpu, irq); in vgic_v4_init()
367 int vgic_v4_request_vpe_irq(struct kvm_vcpu *vcpu, int irq);
369 WARN_ON(vgic_v4_request_vpe_irq(kvm_get_vcpu(kvm, i), in map_all_vpes()