prctl$PR_SET_TSC(0x24, 0x0)