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