prctl$PR_SET_TSC(0x21, 0x0)