dump_anonymous_release 4861 src/pdumper.c      dump_anonymous_release (map->mapping, map->spec.size);
dump_anonymous_release 4911 src/pdumper.c            dump_anonymous_release (resv, total_size);
dump_anonymous_release 4950 src/pdumper.c      dump_anonymous_release (resv, total_size);