prctl$PR_GET_TSC(0x19, &(0x7f0000000080))
prctl$PR_GET_TSC(0x19, 0x0)