| commit | be6bf01f4caa523433030a2267df57d6afefa53d | [log] [tgz] |
|---|---|---|
| author | Hugh Dickins <hughd@google.com> | Sun Sep 03 19:23:08 2017 -0700 |
| committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | Fri Jan 05 15:46:33 2018 +0100 |
| tree | 9f4c510cd0a1326f16d8f9755c31afad8eb1ed20 | |
| parent | 67fab0d4acb3556134127ac285b625f715b12ca1 [diff] |
kaiser: tidied up kaiser_add/remove_mapping slightly Yes, unmap_pud_range_nofree()'s declaration ought to be in a header file really, but I'm not sure we want to use it anyway: so for now just declare it inside kaiser_remove_mapping(). And there doesn't seem to be such a thing as unmap_p4d_range(), even in a 5-level paging tree. Signed-off-by: Hugh Dickins <hughd@google.com> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>