62,67d61
< typedef RegVal IntReg;
<
< // floating point register file entry type
< typedef RegVal FloatRegBits;
< typedef FloatRegVal FloatReg;
<
75,77d68
< // cop-0/cop-1 system control register
< typedef RegVal MiscReg;
<