rt_sigtimedwait(&(0x7f0000000600), 0x0, 0xfffffffffffffffc, 0x8)