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