375c375
< readMiscRegNoEffect(int misc_reg, ThreadID tid = 0)
---
> readMiscRegNoEffect(int misc_reg, ThreadID tid = 0) const