130a131,142
>
> class SequencerWakeupEvent : public Event
> {
> Sequencer *m_sequencer_ptr;
>
> public:
> SequencerWakeupEvent(Sequencer *_seq) : m_sequencer_ptr(_seq) {}
> void process() { m_sequencer_ptr->wakeup(); }
> const char *description() const { return "Sequencer deadlock check"; }
> };
>
> SequencerWakeupEvent deadlockCheckEvent;