Symbol: vgic_v4_request_vpe_irq
arch/arm64/kvm/vgic/vgic-v3.c
576
WARN_ON(vgic_v4_request_vpe_irq(kvm_get_vcpu(kvm, i),
arch/arm64/kvm/vgic/vgic-v4.c
296
ret = vgic_v4_request_vpe_irq(vcpu, irq);
arch/arm64/kvm/vgic/vgic.h
441
int vgic_v4_request_vpe_irq(struct kvm_vcpu *vcpu, int irq);