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

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