77,78c77,78
< MiscReg readMiscRegNoEffect(int misc_reg, ThreadID tid = 0) const;
< MiscReg readMiscReg(int misc_reg, ThreadContext *tc, ThreadID tid = 0);
---
> RegVal readMiscRegNoEffect(int misc_reg, ThreadID tid = 0) const;
> RegVal readMiscReg(int misc_reg, ThreadContext *tc, ThreadID tid = 0);
80,81c80,81
< void setMiscRegNoEffect(int misc_reg, MiscReg val, ThreadID tid=0);
< void setMiscReg(int misc_reg, MiscReg val, ThreadContext *tc,
---
> void setMiscRegNoEffect(int misc_reg, RegVal val, ThreadID tid=0);
> void setMiscReg(int misc_reg, RegVal val, ThreadContext *tc,