80,83c80,82
< void setMiscRegNoEffect(int misc_reg, const MiscReg &val,
< ThreadID tid = 0);
< void setMiscReg(int misc_reg, const MiscReg &val, ThreadContext *tc,
< ThreadID tid = 0);
---
> void setMiscRegNoEffect(int misc_reg, MiscReg val, ThreadID tid=0);
> void setMiscReg(int misc_reg, MiscReg val, ThreadContext *tc,
> ThreadID tid=0);