117d116
<
184,186d182
< // redirected register map, really only used for the full system case.
< extern const int reg_redir[NumIntRegs];
<