Lines Matching refs:stime
681 s_time_t stime; in read_platform_stime() local
688 stime = __read_platform_stime(count); in read_platform_stime()
694 return stime; in read_platform_stime()
809 u64 stime2tsc(s_time_t stime) in stime2tsc() argument
818 stime_delta = stime - t->stamp.local_stime; in stime2tsc()
1038 s_time_t stime = t->stamp.local_stime; in __update_vcpu_system_time() local
1044 stime += pl->stime_offset + v->arch.hvm_vcpu.stime_offset; in __update_vcpu_system_time()
1045 if ( stime >= 0 ) in __update_vcpu_system_time()
1046 tsc_stamp = gtime_to_gtsc(d, stime); in __update_vcpu_system_time()
1048 tsc_stamp = -gtime_to_gtsc(d, -stime); in __update_vcpu_system_time()
1051 tsc_stamp = gtime_to_gtsc(d, stime); in __update_vcpu_system_time()