76c76
< MiscReg readMiscRegNoEffect(int misc_reg, ThreadID tid = 0);
---
> MiscReg readMiscRegNoEffect(int misc_reg, ThreadID tid = 0) const;