+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. */
+extern int fprint_target_auxv (struct ui_file *file, struct target_ops *ops);