Symbol: kvm_vgic_reset_mapped_irq
arch/arm64/kvm/arch_timer.c
1040
kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer));
arch/arm64/kvm/arch_timer.c
1042
kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_ptimer));
include/kvm/arm_vgic.h
423
void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);