Lines Matching refs:time
538 struct vcpu_time_info *info = &this_cpu(vcpu_info)->time; in xen_timer_cpu_frequency()
576 struct vcpu_time_info *info = &this_cpu(vcpu_info)->time; in read_xen_timer()
1034 u = &vcpu_info(v, time); in __update_vcpu_system_time()
2006 u64 gtime_to_gtsc(struct domain *d, u64 time) in gtime_to_gtsc() argument
2010 if ( time < d->arch.vtsc_offset ) in gtime_to_gtsc()
2011 return -scale_delta(d->arch.vtsc_offset - time, in gtime_to_gtsc()
2013 time -= d->arch.vtsc_offset; in gtime_to_gtsc()
2015 return scale_delta(time, &d->arch.ns_to_vtsc); in gtime_to_gtsc()
2020 u64 time = scale_delta(tsc, &d->arch.vtsc_to_ns); in gtsc_to_gtime() local
2023 time += d->arch.vtsc_offset; in gtsc_to_gtime()
2024 return time; in gtsc_to_gtime()