efi: Free malloc regions on exit

[grub.git] / grub-core / kern / efi / init.c

diff --git a/grub-core/kern/efi/init.c b/grub-core/kern/efi/init.c
index 2c31847..3dfdf2d 100644 (file)
--- a/grub-core/kern/efi/init.c
+++ b/grub-core/kern/efi/init.c
@@ -80,4 +80,5 @@ grub_efi_fini (void)
 {
   grub_efidisk_fini ();
   grub_console_fini ();
+  grub_efi_memory_fini ();
 }