Searched refs:gtime_to_gtsc (Results 1 – 3 of 3) sorted by relevance
60 u64 gtime_to_gtsc(struct domain *d, u64 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()2006 u64 gtime_to_gtsc(struct domain *d, u64 time) in gtime_to_gtsc() function2048 msr_split(regs, gtime_to_gtsc(d, now)); in pv_soft_rdtsc()
405 tsc = gtime_to_gtsc(v->domain, tsc); in hvm_set_guest_tsc_fixed()446 tsc = gtime_to_gtsc(v->domain, tsc); in hvm_get_guest_tsc_fixed()
Completed in 13 milliseconds