prctl$PR_GET_TSC(0x19, &(0x7f00000001c0))