Symbol: wait_event_lock_irq_timeout