Searched refs:tsc_val (Results 1 – 2 of 2) sorted by relevance
43 int tsc_val = 0; in sigsegv_cb() local49 if ( prctl(PR_GET_TSC, &tsc_val) == -1) in sigsegv_cb()52 printf("tsc_val == %s\n", tsc_names[tsc_val]); in sigsegv_cb()63 int tsc_val = 0; in main() local71 if ( prctl(PR_GET_TSC, &tsc_val) == -1) in main()74 printf("tsc_val == %s\n", tsc_names[tsc_val]); in main()
401 uint64_t tsc_val; in rdtsc() local409 tsc_val = ((uint64_t)edx) << 32 | eax; in rdtsc()410 return tsc_val; in rdtsc()