__disable_cpu_timer_accounting 2790 arch/s390/kvm/kvm-s390.c __disable_cpu_timer_accounting(vcpu); __disable_cpu_timer_accounting 3850 arch/s390/kvm/kvm-s390.c __disable_cpu_timer_accounting(vcpu);