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:44:24 +0100 |
commit | 0c68228f7b39c96cabd89bee3e1d6bd55926df80 (patch) | |
tree | cff1d5b51efdf727cfd7ab20a98d23e33b544b07 /lib/debug_info.c | |
parent | 5fbd46c4be78174656b52e1b04d3057a5dd7af66 (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>
Acked-by: Jiri Kosina <jkosina@suse.cz>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Diffstat (limited to 'lib/debug_info.c')
0 files changed, 0 insertions, 0 deletions