+/* Print descriptions of FreeBSD-specific AUXV entries to FILE. */
+
+static void
+fbsd_print_auxv_entry (struct gdbarch *gdbarch, struct ui_file *file,
+ CORE_ADDR type, CORE_ADDR val)
+{
+ const char *name;
+ const char *description;
+ enum auxv_format format;
+
+ switch (type)
+ {
+#define _TAGNAME(tag) #tag
+#define TAGNAME(tag) _TAGNAME(AT_##tag)
+#define TAG(tag, text, kind) \
+ case AT_FREEBSD_##tag: name = TAGNAME(tag); description = text; format = kind; break
+ TAG (EXECPATH, _("Executable path"), AUXV_FORMAT_STR);
+ TAG (CANARY, _("Canary for SSP"), AUXV_FORMAT_HEX);
+ TAG (CANARYLEN, ("Length of the SSP canary"), AUXV_FORMAT_DEC);
+ TAG (OSRELDATE, _("OSRELDATE"), AUXV_FORMAT_DEC);
+ TAG (NCPUS, _("Number of CPUs"), AUXV_FORMAT_DEC);
+ TAG (PAGESIZES, _("Pagesizes"), AUXV_FORMAT_HEX);
+ TAG (PAGESIZESLEN, _("Number of pagesizes"), AUXV_FORMAT_DEC);
+ TAG (TIMEKEEP, _("Pointer to timehands"), AUXV_FORMAT_HEX);
+ TAG (STACKPROT, _("Initial stack protection"), AUXV_FORMAT_HEX);
+ default:
+ default_print_auxv_entry (gdbarch, file, type, val);
+ return;
+ }
+
+ fprint_auxv_entry (file, name, description, format, type, val);
+}
+