prctl$PR_SET_TSC(0x4d, 0x1)