C++ (Cpp) grub_efi_fini Examples

Example #1

File: efi.c Project: Firef0x/burg-new

void
grub_halt (void)
{
  grub_efi_fini ();
  efi_call_4 (grub_efi_system_table->runtime_services->reset_system,
              GRUB_EFI_RESET_SHUTDOWN, GRUB_EFI_SUCCESS, 0, NULL);
}

Example #2

File: efi.c Project: Firef0x/burg-new

void
grub_reboot (void)
{
  grub_efi_fini ();
  efi_call_4 (grub_efi_system_table->runtime_services->reset_system,
              GRUB_EFI_RESET_COLD, GRUB_EFI_SUCCESS, 0, NULL);
}

Example #3

File: efi.c Project: Arvian/GRUB2

void
grub_exit (void)
{
  grub_efi_fini ();
  efi_call_4 (grub_efi_system_table->boot_services->exit,
              grub_efi_image_handle, GRUB_EFI_SUCCESS, 0, 0);
  for (;;) ;
}