* kern/efi/init.c (grub_efi_init): set_watchdog_timer takes four

arguments, not three.

ChangeLog

@@ -1,3 +1,8 @@
+2010-07-02  Colin Watson  <cjwatson@ubuntu.com>
+
+	* kern/efi/init.c (grub_efi_init): set_watchdog_timer takes four
+	arguments, not three.
+
 2010-07-02  Colin Watson  <cjwatson@ubuntu.com>
 
 	* util/grub-mkconfig_lib.in (uses_abstraction): New function.

kern/efi/init.c

@@ -36,8 +36,8 @@ grub_efi_init (void)
   /* Initialize the memory management system.  */
   grub_efi_mm_init ();
 
-  efi_call_3 (grub_efi_system_table->boot_services->set_watchdog_timer,
+  efi_call_4 (grub_efi_system_table->boot_services->set_watchdog_timer,
-	      0, 0, 0);
+	      0, 0, 0, NULL);
 
   grub_efidisk_init ();
 }