merged in all changes done to the trunk up to Aug 28

[pintos-anon] / src / threads / init.h

diff --git a/src/threads/init.h b/src/threads/init.h
index 863d1de6df079ea8e7567e49d3d3298ec7c8ade3..36b41877d24fc1c9ac133b217e826b677a851c22 100644 (file)
--- a/src/threads/init.h
+++ b/src/threads/init.h
@@ -13,5 +13,6 @@ extern uint32_t *base_page_dir;
 extern bool power_off_when_done;
 
 void power_off (void) NO_RETURN;
+void reboot (void);
 
 #endif /* threads/init.h */