}
static void
-maintenance_print_user_registers (char *args, int from_tty)
+maintenance_print_user_registers (const char *args, int from_tty)
{
struct gdbarch *gdbarch = get_current_arch ();
struct gdb_user_regs *regs;
fprintf_unfiltered (gdb_stdout, " %-11s %3d\n", reg->name, regnum);
}
-extern initialize_file_ftype _initialize_user_regs; /* -Wmissing-prototypes */
-
void
_initialize_user_regs (void)
{