| commit | bbaa72422bb086933890a125fd58bf199fe26f2d | [log] [tgz] |
|---|---|---|
| author | David Goldblatt <davidgoldblatt@fb.com> | Mon Sep 18 15:10:01 2017 -0700 |
| committer | David Goldblatt <davidtgoldblatt@gmail.com> | Mon Oct 16 15:35:49 2017 -0700 |
| tree | 8e33faa50345bba8a4864b7f86d77ead335769e1 | |
| parent | ccd09050aa53d083fe0b45d4704b1fe95fb00c92 [diff] |
Add pages_dontdump and pages_dodump. This will, eventually, enable us to avoid dumping eden regions.