From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Mon, 20 Jul 2009 21:15:33 +0000 (-0500)
Subject: added alignment to vmxon pointer
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=3ee591b788b6933bc8553b5d67ff11db8c78bdf9

added alignment to vmxon pointer
---

diff --git a/palacios/include/palacios/vmx_lowlevel.h b/palacios/include/palacios/vmx_lowlevel.h
index b597f9a..6817ccc 100644
--- 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__ (