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