r0 = fork()
sched_getattr(r0, &(0x7f0000000000)={0x38}, 0x38, 0x0)
r1 = fork()
tkill(r1, 0x6)