diff options
author | Hugh Dickins <hughd@google.com> | 2017-09-03 19:23:08 -0700 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2018-01-05 15:46:33 +0100 |
commit | be6bf01f4caa523433030a2267df57d6afefa53d (patch) | |
tree | 9f4c510cd0a1326f16d8f9755c31afad8eb1ed20 /include | |
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>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions