rt_sigtimedwait(0x0, 0x0, 0x0, 0x8)
timer_settime(0x0, 0x0, 0x0, 0x0)
timer_settime(0x0, 0x0, 0x0, 0x0)