4014 typedef uint32_t reg_t;  typedef
4016 typedef uint64_t reg_t;  typedef
4035 typedef uint64_t reg_t;  typedef
4048   reg_t       getRegister(int num) const;
4049   void        setRegister(int num, reg_t value);
4063   reg_t       getSP() const { return _registers[2]; }  in getSP()
4064   void        setSP(reg_t value) { _registers[2] = value; }  in setSP()
4065   reg_t       getIP() const { return _registers[0]; }  in getIP()
4066   void        setIP(reg_t value) { _registers[0] = value; }  in setIP()
4070   reg_t _registers[32];
4118 inline reg_t Registers_riscv::getRegister(int regNum) const {  in getRegister()
4128     reg_t vlenb;  in getRegister()
4135 inline void Registers_riscv::setRegister(int regNum, reg_t value) {  in setRegister()