kvm_s390_get_cpu_timer
cputm = kvm_s390_get_cpu_timer(vcpu);
sltime = kvm_s390_get_cpu_timer(vcpu);
return kvm_s390_get_cpu_timer(vcpu) >> 63;
rc |= put_guest_lc(vcpu, kvm_s390_get_cpu_timer(vcpu),
r = put_user(kvm_s390_get_cpu_timer(vcpu),
kvm_run->s.regs.cputm = kvm_s390_get_cpu_timer(vcpu);
cputm = kvm_s390_get_cpu_timer(vcpu);
__u64 kvm_s390_get_cpu_timer(struct kvm_vcpu *vcpu);