+/* Print a description of a single AUXV entry on the specified file. */
+enum auxv_format { AUXV_FORMAT_DEC, AUXV_FORMAT_HEX, AUXV_FORMAT_STR };
+
+extern void fprint_auxv_entry (struct ui_file *file, const char *name,
+ const char *description,
+ enum auxv_format format, CORE_ADDR type,
+ CORE_ADDR val);
+
+/* The default implementation of gdbarch_print_auxv_entry. */
+
+extern void default_print_auxv_entry (struct gdbarch *gdbarch,
+ struct ui_file *file, CORE_ADDR type,
+ CORE_ADDR val);
+
+/* Print the contents of the target's AUXV on the specified file. */