It was certainly not meant to be excluded from any documentation.
To make the description clear, MMF_DUMP_ELF_HEADERS applies when a
file-backed private mapping would otherwise be elided (based on the other
bits and whether it's been modified). If the vma maps offset 0 of the
file, and that page is readable and starts with ELFMAG, then just that
first page will be dumped. (So p_filesz will be PAGE_SIZE rather than 0
for an elided mapping, or p_memsz for a mapping dumped whole.)
Thanks,
Roland
--