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

diff --git a/misc/test_vm/include/geekos/reboot.h b/misc/test_vm/include/geekos/reboot.h
new file mode 100644
index 0000000..e954a2c
--- /dev/null
+++ b/misc/test_vm/include/geekos/reboot.h
@@ -0,0 +1,7 @@
+#ifndef REBOOT_H
+#define REBOOT_H
+
+void machine_real_restart();
+
+
+#endif