diff --git a/include/restart.h b/include/restart.h
index 344456e89..770b246f8 100644
--- a/include/restart.h
+++ b/include/restart.h
@@ -25,7 +25,7 @@
 #ifndef INCLUDED_restart_h
 #define INCLUDED_restart_h
 
-void restart(const char *);
-void server_reboot(void);
+void restart(const char *) __attribute__((noreturn));
+void server_reboot(void) __attribute__((noreturn));
 
 #endif