Searched refs:tscoff (Results 1 – 1 of 1) sorted by relevance
2171 uint64_t tscoff; in main() local2174 &tscoff); in main()2178 8, &tscoff); in main()2180 printf("tsc_offset[%d]\t0x%016lx\n", vcpuid, tscoff); in main()