Linux kernel bug fix: x86/efi: Free efi_pgd with free_pages()
Subsystem: arch/x86 (arch/x86/platform/efi/efi_64.c)
Bug type: unknown, severity: unknown
Files changed: arch/x86/platform/efi/efi_64.c
Introduced by Dave Hansen on 2017-12-23 21:13:00 +0100; fixed by Waiman Long on 2018-03-23 20:18:31 +0100 (lifetime: 89 days)