prctl$PR_GET_NAME(0x10, &(0x7f0000000000)=""/225)
prctl$PR_GET_TSC(0x19, &(0x7f0000000640))