projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Mark shutdown_reboot() and shutdown_power_off() as NO_RETURN.
[pintos-anon]
/
src
/
devices
/
shutdown.h
diff --git
a/src/devices/shutdown.h
b/src/devices/shutdown.h
index 0bc5657b4b8716978827bc513ef9aead9bc1e97e..7bcef19e7759509c7625920785bb1ef1829b22d9 100644
(file)
--- a/
src/devices/shutdown.h
+++ b/
src/devices/shutdown.h
@@
-1,7
+1,9
@@
#ifndef DEVICES_SHUTDOWN_H
#define DEVICES_SHUTDOWN_H
#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 */
#endif /* devices/shutdown.h */