X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.h;fp=src%2Fthreads%2Finit.h;h=36b41877d24fc1c9ac133b217e826b677a851c22;hb=8fff557107b6a3efec0000ce98904450c1de3648;hp=863d1de6df079ea8e7567e49d3d3298ec7c8ade3;hpb=e81af6fff9570e6f3f2b13bb9ad54cc17f25aa50;p=pintos-anon

diff --git a/src/threads/init.h b/src/threads/init.h
index 863d1de..36b4187 100644
--- 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 */