Home
last modified time | relevance | path

Searched refs:tsc_stamp (Results 1 – 1 of 1) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/x86/
A Dtime.c1028 s_time_t tsc_stamp; in __update_vcpu_system_time() local
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()
1060 tsc_stamp = hvm_scale_tsc(d, t->stamp.local_tsc); in __update_vcpu_system_time()
1066 tsc_stamp = t->stamp.local_tsc; in __update_vcpu_system_time()
1072 _u.tsc_timestamp = tsc_stamp; in __update_vcpu_system_time()

Completed in 5 milliseconds