kaiser: tidied up kaiser_add/remove_mapping slightly
authorHugh Dickins <hughd@google.com>
Mon, 4 Sep 2017 02:23:08 +0000 (19:23 -0700)
committerYves-Alexis Perez <corsac@debian.org>
Thu, 4 Jan 2018 11:12:40 +0000 (11:12 +0000)
commit368c120386569bfbaeef5ad7ba07da7a5d966dba
treeb544ff53e9cd897a9db319ec0d67695cd8ab119a
parent5c5d440fecc741417eca996bf31a07a5bd4d6988
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>
Gbp-Pq: Topic features/all/kpti
Gbp-Pq: Name kaiser-tidied-up-kaiser_add-remove_mapping-slightly.patch
arch/x86/mm/kaiser.c