x86/efi: Free efi_pgd with free_pages()
authorWaiman Long <longman@redhat.com>
Thu, 22 Mar 2018 19:18:53 +0000 (15:18 -0400)
committerThomas Gleixner <tglx@linutronix.de>
Fri, 23 Mar 2018 19:18:31 +0000 (20:18 +0100)
commit06ace26f4e6fcf747e890a39193be811777a048a
tree34ab8fe260ed40d330cb6b2ed39b662e488b9ff8
parent31ad7f8e7dc94d3b85ccf9b6141ce6dfd35a1781
x86/efi: Free efi_pgd with free_pages()

The efi_pgd is allocated as PGD_ALLOCATION_ORDER pages and therefore must
also be freed as PGD_ALLOCATION_ORDER pages with free_pages().

Fixes: d9e9a6418065 ("x86/mm/pti: Allocate a separate user PGD")
Signed-off-by: Waiman Long <longman@redhat.com>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-efi@vger.kernel.org
Cc: Dave Hansen <dave.hansen@linux.intel.com>
Cc: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Cc: stable@vger.kernel.org
Link: https://lkml.kernel.org/r/1521746333-19593-1-git-send-email-longman@redhat.com
arch/x86/platform/efi/efi_64.c