prctl$PR_SET_TSC(0x3a, 0x0)