Searched refs:host_tsc (Results 1 – 1 of 1) sorted by relevance
796 static uint64_t scale_tsc(uint64_t host_tsc, uint64_t ratio) in scale_tsc() argument801 return host_tsc; in scale_tsc()820 scaled_host_tsc = host_tsc * mult; in scale_tsc()821 scaled_host_tsc += (host_tsc >> 32) * frac; in scale_tsc()822 scaled_host_tsc += ((host_tsc & ((1ULL << 32) - 1)) * frac) >> 32; in scale_tsc()827 static uint64_t svm_get_tsc_offset(uint64_t host_tsc, uint64_t guest_tsc, in svm_get_tsc_offset() argument830 return guest_tsc - scale_tsc(host_tsc, ratio); in svm_get_tsc_offset()
Completed in 9 milliseconds