if (warning_hook) (*warning_hook) (string, args);
if (deprecated_warning_hook) (*deprecated_warning_hook) (string, args);
vwarning (const char *string, va_list args){  if (warning_hook)    (*warning_hook) (string, args);  else    {      target_terminal_ours ();      wrap_here ("");		/* Force out any buffered output */      gdb_flush (gdb_stdout);      if (warning_pre_print)	fputs_unfiltered (warning_pre_print, gdb_stderr);      vfprintf_unfiltered (gdb_stderr, string, args);      fprintf_unfiltered (gdb_stderr, "\n");      va_end (args);    }}