VMX is working for a 32-bit Linux kernel. It should also work for a 64-bit kernel...

[palacios.git] / palacios / include / palacios / vmm_halt.h

diff --git a/palacios/include/palacios/svm_halt.h b/palacios/include/palacios/vmm_halt.h
similarity index 86%
rename from palacios/include/palacios/svm_halt.h
rename to palacios/include/palacios/vmm_halt.h
index 1a29fc2..c0e9169 100644 (file)
--- a/palacios/include/palacios/svm_halt.h
+++ b/palacios/include/palacios/vmm_halt.h
@@ -12,22 +12,22 @@
  * All rights reserved.
  *
  * Author: Peter Dinda <pdinda@northwestern.edu>
+ * Author: Andy Gocke <agocke@gmail.com>
  *
  * This is free software.  You are permitted to use,
  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  */
 
-#ifndef __SVM_HALT_H
-#define __SVM_HALT_H
+#ifndef __VMM_HALT_H
+#define __VMM_HALT_H
 
 #ifdef __V3VEE__
 
 #include <palacios/vm_guest.h>
-#include <palacios/vmcb.h>
 #include <palacios/vmm.h>
 
 
-int v3_handle_svm_halt(struct guest_info * info);
+int v3_handle_halt(struct guest_info * info);
 
 #endif // ! __V3VEE__