added lowlevel header file for VMX

diff --git a/palacios/include/palacios/vmx_lowlevel.h b/palacios/include/palacios/vmx_lowlevel.h
new file mode 100644 (file)
index 0000000..e4a878f
--- /dev/null
+++ b/palacios/include/palacios/vmx_lowlevel.h
@@ -0,0 +1,110 @@
+/* 
+ * This file is part of the Palacios Virtual Machine Monitor developed
+ * by the V3VEE Project with funding from the United States National 
+ * Science Foundation and the Department of Energy.  
+ *
+ * The V3VEE Project is a joint project between Northwestern University
+ * and the University of New Mexico.  You can find out more at 
+ * http://www.v3vee.org
+ *
+ * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
+ * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org> 
+ * All rights reserved.
+ *
+ * Author: Jack Lange <jarusl@cs.northwestern.edu>
+ *
+ * This is free software.  You are permitted to use,
+ * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
+ */
+
+#ifndef __VMX_LOWLEVEL_H__
+#define __VMX_LOWLEVEL_H__
+
+#ifdef __V3VEE__
+
+
+#define VMX_SUCCESS         0 
+#define VMX_FAIL_INVALID    1
+#define VMX_FAIL_VALID      2
+
+
+#define VMWRITE_OP  ".byte 0x0f,0x79,0xc1;"           /* [eax],[ecx] */
+#define VMREAD_OP   ".byte 0x0f,0x78,0xc1;"           /* [eax],[ecx] */
+ 
+#define VMXON_OP    ".byte 0xf3,0x0f,0xc7,0x30;"         /*  [eax] */
+
+
+static int inline v3_enable_vmx(addr_t host_state) {
+    int ret;
+    __asm__ __volatile__ (
+                         VMXON_OP
+                         "setnaeb %0;"
+                         : "=q"(ret)
+                         : "a"(host_state), "0"(ret)
+                         : "memory"
+                         );
+
+    if (ret) {
+       return -1;
+    } 
+
+    return 0;
+}
+
+
+
+
+
+static int inline vmcs_write(addr_t vmcs_index, addr_t value) {
+    int ret_valid = 0;
+    int ret_invalid = 0;
+
+    __asm__ __volatile__ (
+                         VMWRITE_OP
+                         "seteb %0;"  // fail valid    (ZF=1)
+                         "setnaeb %1;" // fail invalid (CF=1)
+                         : "=q"(ret_valid), "=q"(ret_invalid)
+                         : "a"(vmcs_index), "c"(&value), "0"(ret_valid), "1"(ret_invalid)
+                         : "memory"
+                         );
+
+    if (ret_valid) {
+       return VMX_FAIL_VALID;
+    } else if (ret_invalid) {
+       return VMX_FAIL_INVALID;
+    }
+
+    return VMX_SUCCESS;
+}
+
+
+
+static int inline vmcs_read(addr_t vmcs_index,  void * dst, int len) {
+    addr_t val = 0;
+    int ret_valid = 0;
+    int ret_invalid = 0;
+
+    __asm__ __volatile__ (
+                         VMREAD_OP
+                         "seteb %0;"  // fail valid    (ZF=1)
+                         "setnaeb %1;" // fail invalid (CF=1)
+                         : "=q"(ret_valid), "=q"(ret_invalid), "=c"(val)
+                         : "a"(vmcs_index), "0"(ret_valid), "1"(ret_invalid)
+                         : "memory"
+                         );
+
+    if (ret_valid) {
+       return VMX_FAIL_VALID;
+    } else if (ret_invalid) {
+       return VMX_FAIL_INVALID;
+    }
+
+    return VMX_SUCCESS;
+}
+
+
+
+
+#endif
+
+#endif