Lines Matching defs:tsc_val
43 int tsc_val = 0;
46 printf("prctl(PR_GET_TSC, &tsc_val); ");
49 if ( prctl(PR_GET_TSC, &tsc_val) == -1)
52 printf("tsc_val == %s\n", tsc_names[tsc_val]);
63 int tsc_val = 0;
68 printf("prctl(PR_GET_TSC, &tsc_val); ");
71 if ( prctl(PR_GET_TSC, &tsc_val) == -1)
74 printf("tsc_val == %s\n", tsc_names[tsc_val]);