331c331
< MiscReg readRegOtherThread(int misc_reg, ThreadID tid)
---
> MiscReg readRegOtherThread(int misc_reg, ThreadID tid) override
337c337
< void setRegOtherThread(int misc_reg, MiscReg val, ThreadID tid)
---
> void setRegOtherThread(int misc_reg, MiscReg val, ThreadID tid) override