kvm_vgic_reset_mapped_irq 366 include/kvm/arm_vgic.h void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid); kvm_vgic_reset_mapped_irq 659 virt/kvm/arm/arch_timer.c kvm_vgic_reset_mapped_irq(vcpu, map.direct_vtimer->irq.irq); kvm_vgic_reset_mapped_irq 661 virt/kvm/arm/arch_timer.c kvm_vgic_reset_mapped_irq(vcpu, map.direct_ptimer->irq.irq);