236a237,240
> virtual uint64_t readRegOtherThread(int misc_reg, unsigned tid) { return 0; }
>
> virtual void setRegOtherThread(int misc_reg, const MiscReg &val, unsigned tid) { };
>