r0 = fork()
sched_setscheduler(r0, 0x0, &(0x7f0000000100))