X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_lowlevel.h;fp=palacios%2Finclude%2Fpalacios%2Fvmx_lowlevel.h;h=6817ccc6a548c258b246470468a2f975daebb945;hb=3ee591b788b6933bc8553b5d67ff11db8c78bdf9;hp=b597f9ad071bab938a0d79a249ef6f0e678285a0;hpb=0ab69a6bdddef0ae09d8beb82b9c6c051e1a564d;p=palacios.git 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__ (