kvm_s390_get_tod_clock_fast
const u64 now = kvm_s390_get_tod_clock_fast(vcpu->kvm);
gtod = kvm_s390_get_tod_clock_fast(kvm);