52c52,53
< // const int NumFloatRegs = 64;
---
> const int NumFloatRegs = 64;
> const int NumFloatArchRegs = NumFloatRegs;