Symbol: do_sigtimedwait