49,54d48
< typedef RegVal IntReg;
<
< // Floating point register file entry type
< typedef RegVal FloatReg;
< typedef RegVal MiscReg;
<