254,257c254,255
< /// Notify the CPU that the indicated context is now active. The
< /// delay parameter indicates the number of ticks to wait before
< /// executing (typically 0 or 1).
< virtual void activateContext(ThreadID thread_num, Cycles delay) {}
---
> /// Notify the CPU that the indicated context is now active.
> virtual void activateContext(ThreadID thread_num) {}
288,289d285
< virtual void activateWhenReady(ThreadID tid) {};
<