183,184c183,184
< /** Begins the switch out of the fetch stage. */
< void switchOut();
---
> /** Begins the drain of the fetch stage. */
> void drain();
186,187c186,187
< /** Completes the switch out of the fetch stage. */
< void doSwitchOut();
---
> /** Resumes execution after a drain. */
> void resume();
188a189,191
> /** Tells fetch stage to prepare to be switched out. */
> void switchOut();
>
423a427,429
> /** Is there a drain pending. */
> bool drainPending;
>