80c80
< eq->schedule(&maxTickEvent, maxTick);
---
> kernel->status(::sc_core::SC_RUNNING);
156,157c156
< if (eq)
< scheduleReadyEvent();
---
> scheduleReadyEvent();
165,166c164
< panic_if(!eq, "Need to schedule ready, but no event manager.\n");
< eq->schedule(&readyEvent, eq->getCurTick());
---
> schedule(&readyEvent);
168c166
< eq->deschedule(&starvationEvent);
---
> deschedule(&starvationEvent);
176,180c174
< Tick now = getCurTick();
< if (initDone)
< eq->schedule(&starvationEvent, now);
< else
< eventsToSchedule[&starvationEvent] = now;
---
> schedule(&starvationEvent);
182c176
< eq->deschedule(&readyEvent);
---
> deschedule(&readyEvent);
261d254
< eq->schedule(&maxTickEvent, maxTick);
263a257,258
> schedule(&maxTickEvent, maxTick);
>