111a112,117
> /** Drains the decode stage. */
> void drain();
>
> /** Resumes execution after a drain. */
> void resume() { }
>
113c119
< void switchOut();
---
> void switchOut() { }