}
grub_err_t
-grub_machine_mmap_iterate (grub_memory_hook_t hook, int avoid_efi_boot_services)
+grub_machine_mmap_iterate (grub_memory_hook_t hook)
{
return grub_efi_mmap_iterate (hook, 0);
}
extern int EXPORT_VAR(grub_efi_is_finished);
-grub_err_t
-grub_efi_mmap_iterate (grub_memory_hook_t hook, int avoid_efi_boot_services);
-
#endif /* ! GRUB_EFI_EFI_HEADER */
grub_err_t grub_mmap_iterate (grub_memory_hook_t hook);
+#ifdef GRUB_MACHINE_EFI
+grub_err_t
+grub_efi_mmap_iterate (grub_memory_hook_t hook, int avoid_efi_boot_services);
+#endif
+
#if !defined (GRUB_MACHINE_EMU) && !defined (GRUB_MACHINE_EFI)
grub_err_t EXPORT_FUNC(grub_machine_mmap_iterate) (grub_memory_hook_t hook);
#else