PR_TSC_ENABLE
else if (val == PR_TSC_ENABLE)
do_set_tsc_mode(PR_TSC_ENABLE);
val = PR_TSC_ENABLE;
val = PR_TSC_ENABLE;
else if (val == PR_TSC_ENABLE)
if (prctl(PR_SET_TSC, PR_TSC_ENABLE) < 0)
if (prctl(PR_SET_TSC, PR_TSC_ENABLE) < 0)
[PR_TSC_ENABLE] = "PR_TSC_ENABLE",
if ( prctl(PR_SET_TSC, PR_TSC_ENABLE) == -1)
if ( prctl(PR_SET_TSC, PR_TSC_ENABLE) == -1)