* gdbtk-cmds.c (get_register): Call get_saved_register instead of