X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=geekos%2Finclude%2Fgeekos%2Freboot.h;fp=geekos%2Finclude%2Fgeekos%2Freboot.h;h=101b4604d996ce2d8c3af798adc2fa50c91681fe;hp=0000000000000000000000000000000000000000;hb=ddc16b0737cf58f7aa90a69c6652cdf4090aec51;hpb=626595465a2c6987606a6bc697df65130ad8c2d3

diff --git a/geekos/include/geekos/reboot.h b/geekos/include/geekos/reboot.h
new file mode 100644
index 0000000..101b460
--- /dev/null
+++ b/geekos/include/geekos/reboot.h
@@ -0,0 +1,10 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+#ifndef REBOOT_H
+#define REBOOT_H
+
+void machine_real_restart();
+
+
+#endif