71c71,72
< const int NumIntRegs = NumIntArchRegs;
---
> const int NumMicroIntRegs = 1;
> const int NumIntRegs = NumIntArchRegs + NumMicroIntRegs;
82d82
<
92a93
> const int AMOTempReg = 32;