prctl$PR_SET_TSC(0xd, 0x0)