Symbol: wait_event_interruptible_timeout