340a341,342
> RegVal readBankedMiscReg(MiscRegIndex misc_reg) const;
> void setBankedMiscReg(MiscRegIndex misc_reg, RegVal val) const;