prctl$PR_GET_TSC(0x39, &(0x7f0000000b40))