prctl$PR_GET_TSC(0x4d, &(0x7f0000000bc0))