/* User visible, per-frame registers, for GDB, the GNU debugger.
/* User visible, per-frame registers, for GDB, the GNU debugger.
add_cmd ("user-registers", class_maintenance,
maintenance_print_user_registers,
add_cmd ("user-registers", class_maintenance,
maintenance_print_user_registers,