Symbol: avic_kick_vcpu
arch/x86/kvm/svm/avic.c
481
avic_kick_vcpu(target_vcpu, icrl);
arch/x86/kvm/svm/avic.c
605
avic_kick_vcpu(vcpu, icrl);