diff --git a/include/grub/misc.h b/include/grub/misc.h
index c516b3dc2..774dc5843 100644
--- a/include/grub/misc.h
+++ b/include/grub/misc.h
@@ -321,9 +321,9 @@ void EXPORT_FUNC (grub_reboot) (void) __attribute__ ((noreturn));
 #ifdef GRUB_MACHINE_PCBIOS
 /* Halt the system, using APM if possible. If NO_APM is true, don't
  * use APM even if it is available.  */
-void grub_halt (int no_apm);
+void grub_halt (int no_apm) __attribute__ ((noreturn));
 #else
-void grub_halt (void);
+void grub_halt (void) __attribute__ ((noreturn));
 #endif
 
 #ifdef GRUB_MACHINE_EMU