211a212,222
> // Run this process at the next opportunity.
> void
> runNext(Process *p)
> {
> // Like above, it's ok if this isn't a method. Putting it on this list
> // just gives it priority.
> readyListMethods.pushFirst(p);
> if (!inEvaluate())
> scheduleReadyEvent();
> }
>