Palacios Public Git Repository

To checkout Palacios execute 

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute 
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.

projects / palacios.git / commitdiff
? search: re
summary | shortlog | log | commit | commitdiff | tree
raw (parent: 0ab69a6)
added alignment to vmxon pointer
Jack Lange [Mon, 20 Jul 2009 21:15:33 +0000 (16:15 -0500)]
palacios/include/palacios/vmx_lowlevel.h patch | blob | history

diff --git a/palacios/include/palacios/vmx_lowlevel.h b/palacios/include/palacios/vmx_lowlevel.h
index b597f9a..6817ccc 100644 (file)
--- a/palacios/include/palacios/vmx_lowlevel.h
+++ b/palacios/include/palacios/vmx_lowlevel.h
@@ -57,7 +57,7 @@
 
 
 static inline int v3_enable_vmx(struct vmcs_data * vmxon_ptr) {
-    uint64_t vmxon_ptr_64 = (uint64_t)vmxon_ptr;
+    uint64_t vmxon_ptr_64 __attribute__((aligned(8))) = (uint64_t)vmxon_ptr;
     uint8_t ret_invalid = 0;
 
     __asm__ __volatile__ (
Public Palacios Development Repository for the V3VEE Project