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);