diff options
| author | Jérôme Glisse <jglisse@redhat.com> | 2017-11-07 13:02:54 -0500 |
|---|---|---|
| committer | Jérôme Glisse <jglisse@redhat.com> | 2017-11-07 20:25:43 -0500 |
| commit | 2e77eb3210d972413ace864f1b7639aacf7b0ef5 (patch) | |
| tree | c503919fcef0aa8b97ad2f3e1ee4f18b8a953264 | |
| parent | d320e789d9d41206dc1fa9f8e43cdb6b378be22f (diff) | |
12 -----------------------------------------------------------------------kill-page-mapping
| -rw-r--r-- | step | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -9,3 +9,4 @@ 9 10 11 +12 |