Symbol: kvm_xen_stop_timer
arch/x86/kvm/xen.c
1122
kvm_xen_stop_timer(vcpu);
arch/x86/kvm/xen.c
1651
kvm_xen_stop_timer(vcpu);
arch/x86/kvm/xen.c
1668
kvm_xen_stop_timer(vcpu);
arch/x86/kvm/xen.c
2315
kvm_xen_stop_timer(vcpu);