Symbol: __stop_cpu_timer_accounting
arch/s390/kvm/kvm-s390.c
3527
__stop_cpu_timer_accounting(vcpu);
arch/s390/kvm/kvm-s390.c
3596
__stop_cpu_timer_accounting(vcpu);