Searched refs:tsc_start (Results 1 – 3 of 3) sorted by relevance
57 uint64_t tsc_start, tsc_end, tsc_freq; in check_tsc_freq() local65 tsc_start = rdmsr(MSR_IA32_TSC); in check_tsc_freq()69 tsc_freq = tsc_end - tsc_start; in check_tsc_freq()125 uint64_t tsc_start, tsc_end; in main() local147 tsc_start = rdtsc(); in main()151 l0_tsc_freq = tsc_end - tsc_start; in main()
132 uint64_t tsc_start; in sender_guest_code() local174 tsc_start = rdtsc(); in sender_guest_code()175 while (rdtsc() - tsc_start < 2000000000) { in sender_guest_code()
779 u64 tsc_perj = 0, tsc_start = 0; in calibrate_APIC_clock() local826 tsc_start = rdtsc(); in calibrate_APIC_clock()841 if ((tsc_now - tsc_start) >= tsc_perj) { in calibrate_APIC_clock()842 tsc_start += tsc_perj; in calibrate_APIC_clock()