rt_sigtimedwait(&(0x7f0000000040), 0x0, &(0x7f0000000140), 0x8)