49,56d48
< typedef RegVal IntReg;
<
< // floating point register file entry type
< typedef RegVal FloatReg;
<
< // control register file contents
< typedef RegVal MiscReg;
<