Searched refs:stime (Results 1 – 2 of 2) sorted by relevance
681 s_time_t stime; in read_platform_stime() local688 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() argument818 stime_delta = stime - t->stamp.local_stime; in stime2tsc()1038 s_time_t stime = t->stamp.local_stime; in __update_vcpu_system_time() local1044 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()[all …]
74 u64 stime2tsc(s_time_t stime);
Completed in 6 milliseconds