Rename fprintf_symbol_filtered

[binutils-gdb.git] / gdb / charset.c

diff --git a/gdb/charset.c b/gdb/charset.c
index bf205ae087c82ee18c298e0465e422603304d138..74f742e0aa70d30765f5ea97136b79f00454365b 100644 (file)
--- a/gdb/charset.c
+++ b/gdb/charset.c
@@ -232,11 +232,11 @@ show_host_charset_name (struct ui_file *file, int from_tty,
                        const char *value)
 {
   if (!strcmp (value, "auto"))
-    fprintf_filtered (file,
-                     _("The host character set is \"auto; currently %s\".\n"),
-                     auto_host_charset_name);
+    gdb_printf (file,
+               _("The host character set is \"auto; currently %s\".\n"),
+               auto_host_charset_name);
   else
-    fprintf_filtered (file, _("The host character set is \"%s\".\n"), value);
+    gdb_printf (file, _("The host character set is \"%s\".\n"), value);
 }
 
 static const char *target_charset_name = "auto";
@@ -245,13 +245,13 @@ show_target_charset_name (struct ui_file *file, int from_tty,
                          struct cmd_list_element *c, const char *value)
 {
   if (!strcmp (value, "auto"))
-    fprintf_filtered (file,
-                     _("The target character set is \"auto; "
-                       "currently %s\".\n"),
-                     gdbarch_auto_charset (get_current_arch ()));
+    gdb_printf (file,
+               _("The target character set is \"auto; "
+                 "currently %s\".\n"),
+               gdbarch_auto_charset (get_current_arch ()));
   else
-    fprintf_filtered (file, _("The target character set is \"%s\".\n"),
-                     value);
+    gdb_printf (file, _("The target character set is \"%s\".\n"),
+               value);
 }
 
 static const char *target_wide_charset_name = "auto";
@@ -262,13 +262,13 @@ show_target_wide_charset_name (struct ui_file *file,
                               const char *value)
 {
   if (!strcmp (value, "auto"))
-    fprintf_filtered (file,
-                     _("The target wide character set is \"auto; "
-                       "currently %s\".\n"),
-                     gdbarch_auto_wide_charset (get_current_arch ()));
+    gdb_printf (file,
+               _("The target wide character set is \"auto; "
+                 "currently %s\".\n"),
+               gdbarch_auto_wide_charset (get_current_arch ()));
   else
-    fprintf_filtered (file, _("The target wide character set is \"%s\".\n"),
-                     value);
+    gdb_printf (file, _("The target wide character set is \"%s\".\n"),
+               value);
 }
 
 static const char * const default_charset_names[] =
@@ -463,20 +463,6 @@ host_letter_to_control_character (char c)
   return c & 0237;
 }
 
-/* Convert a host character, C, to its hex value.  C must already have
-   been validated using isxdigit.  */
-
-int
-host_hex_value (char c)
-{
-  if (isdigit (c))
-    return c - '0';
-  if (c >= 'a' && c <= 'f')
-    return 10 + c - 'a';
-  gdb_assert (c >= 'A' && c <= 'F');
-  return 10 + c - 'A';
-}
-
 \f
 /* Public character management functions.  */