prctl$PR_SET_TSC(0x34, 0x1)