mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-20 22:48:22 +00:00
Close cards before boot.
This commit is contained in:
1 parent
e23bc603f8
commit
d6d205568f
4 files changed
+18
No files matched your search
@@ -264,6 +264,8 @@ grub_machine_init (void)
|
||||
void
|
||||
grub_machine_fini (void)
|
||||
{
|
||||
if (grub_grubnet_fini)
|
||||
grub_grubnet_fini ();
|
||||
grub_ofdisk_fini ();
|
||||
grub_console_fini ();
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user