Accessing the 64-bit registers on a Ultrasparc?

[Raymond Toy]

How do I get gdb to print out the 64-bit registers?  I don't really
need full Sparc64 support.  I just want to see the 64-bit values of
the registers (and 32-bit values too, of course).

I notice there's a GDB_TARGET_IS_SPARC64, but that never seems to get
set anywhere.

Thanks,

Ray