#ifndef DEVICES_SHUTDOWN_H
#define DEVICES_SHUTDOWN_H
-void shutdown_reboot (void);
-void shutdown_power_off (void);
+#include <debug.h>
+
+void shutdown_reboot (void) NO_RETURN;
+void shutdown_power_off (void) NO_RETURN;
#endif /* devices/shutdown.h */