r0 = gettid()
sched_getattr(r0, &(0x7f0000000000)={0x38}, 0x84, 0x0)