infcmd.c: Output user registers correctly

[Daniel Jacobowitz]

On Wed, Oct 24, 2007 at 04:59:47PM +0100, Maciej W. Rozycki wrote:
> 2007-10-24  David Ung  <davidu@mips.com>
>             Maciej W. Rozycki  <macro@mips.com>
> 
> 	* infcmd.c (registers_info): Check for a user register before
> 	calling target's gdbarch_print_registers_info().  If found to be
> 	so, extract the implicit value of user register and call
> 	print_scalar_formatted().
> 	* value.h (value_of_user_reg): Add prototype.
> 
>  OK to apply?

OK, thanks.  This also fixes PR exp/1926.  There may be another one
too, but that's the only one I can find at present.

-- 
Daniel Jacobowitz
CodeSourcery