prctl$PR_GET_TSC(0x41555856, 0x0)