Searched refs:start_tsc (Results 1 – 1 of 1) sorted by relevance
27 uint64_t start_tsc, local_tsc, tmp; in guest_code() local29 start_tsc = rdtsc(); in guest_code()37 } while (local_tsc - start_tsc < 5000 * TEST_TSC_KHZ); in guest_code()