> 
> Have a look at REGISTER_NAME() vs REGISTER_NAMES and 
> legacy_register_name.  There is no reason for you fixing anything other 
> than the arm.
> 
> As for FLOAT_INFO, file a bug report indicating that it is deprecated. 
> I'll also ARI it.

Something like this then...

	* gdbarch.sh (DO_FLOAT_INFO): Add rule.
	* gdbarch.c gdbarch.h: Regenerate.
	* arch-utils.c (default_float_info): New function.
	* arch-utils.h (default_float_info): Prototype it.
	* infcmd.c (float_info): Call DO_FLOAT_INFO.
	* doc/gdbint.texinfo (FLOAT_INFO): Mark as deprecated.
	(DO_FLOAT_INFO): Document it.

	* arm-tdep.c (arm_float_info): Add comment.
	* config/arm/tm-arm.h (FLOAT_INFO): Delete.
	(DO_FLOAT_INFO): Define.