+2020-07-22  Kevin Buettner  <kevinb@redhat.com>
+
+       * NEWS (New commands): Mention new command
+       "maintenance print core-file-backed-mappings".
+
 2020-07-22  Kevin Buettner  <kevinb@redhat.com>
 
        * corelow.c (gdbcmd.h): Include.
 
   the target description is read from FILE into GDB, and then
   reprinted.
 
+maintenance print core-file-backed-mappings
+  Prints file-backed mappings loaded from a core file's note section.
+  Output is expected to be similar to that of "info proc mappings".
+
 * Changed commands
 
 alias [-a] [--] ALIAS = COMMAND [DEFAULT-ARGS...]
 
+2020-07-22  Kevin Buettner  <kevinb@redhat.com>
+
+       * gdb.texinfo (Maintenance Commands): Add documentation for
+       new command "maintenance print core-file-backed-mappings".
+
 2020-07-22  Reuben Thomas  <rrt@sc3d.org>
 
        * gdb.texinfo (Remote Protocol, Overview): Correct the description
 
 @code{libthread_db} uses.  Note that parts of the test may be skipped
 on some platforms when debugging core files.
 
+@kindex maint print core-file-backed-mappings
+@cindex memory address space mappings
+@item maint print core-file-backed-mappings
+Print the file-backed mappings which were loaded from a core file note.
+This output represents state internal to @value{GDBN} and should be
+similar to the mappings displayed by the @code{info proc mappings}
+command.
+
 @kindex maint print dummy-frames
 @item maint print dummy-frames
 Prints the contents of @value{GDBN}'s internal dummy-frame stack.