Add missing noreturn

This commit is contained in:
Vladimir 'phcoder' Serbinenko 2010-08-30 16:25:39 +02:00
parent 949737be16
commit b0ea3a5a93

View file

@ -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