kvm_s390_set_cpu_timer 2859 arch/s390/kvm/kvm-s390.c 	kvm_s390_set_cpu_timer(vcpu, 0);
kvm_s390_set_cpu_timer 3259 arch/s390/kvm/kvm-s390.c 			kvm_s390_set_cpu_timer(vcpu, val);
kvm_s390_set_cpu_timer 3884 arch/s390/kvm/kvm-s390.c 		kvm_s390_set_cpu_timer(vcpu, kvm_run->s.regs.cputm);
kvm_s390_set_cpu_timer  298 arch/s390/kvm/kvm-s390.h void kvm_s390_set_cpu_timer(struct kvm_vcpu *vcpu, __u64 cputm);