* grub-core/commands/i386/pc/halt.c (grub_halt): Add noreturn attribute.

(grub_cmd_halt): Likewise.

grub-core/commands/i386/pc/halt.c

@@ -44,7 +44,7 @@ stop (void)
  * Halt the system, using APM if possible. If NO_APM is true, don't use
  * APM even if it is available.
  */
-void 
+void  __attribute__ ((noreturn))
 grub_halt (int no_apm)
 {
   struct grub_bios_int_registers regs;
@@ -97,7 +97,7 @@ grub_halt (int no_apm)
   stop ();
 }
 
-static grub_err_t
+static grub_err_t __attribute__ ((noreturn))
 grub_cmd_halt (grub_extcmd_context_t ctxt,
 	       int argc __attribute__ ((unused)),
 	       char **args __attribute__ ((unused)))
@@ -109,7 +109,6 @@ grub_cmd_halt (grub_extcmd_context_t ctxt,
   if (state[0].set)
     no_apm = 1;
   grub_halt (no_apm);
-  return 0;
 }
 
 static grub_extcmd_t cmd;