X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_lowlevel.h;fp=palacios%2Finclude%2Fpalacios%2Fvmx_lowlevel.h;h=b597f9ad071bab938a0d79a249ef6f0e678285a0;hp=b4a2e8d3cbaf1f01d677913b3f50c54204f2dc18;hb=0ab69a6bdddef0ae09d8beb82b9c6c051e1a564d;hpb=77e8a14a182c25a46ace02ba8eda7722c0ff6d83

diff --git a/palacios/include/palacios/vmx_lowlevel.h b/palacios/include/palacios/vmx_lowlevel.h
index b4a2e8d..b597f9a 100644
--- a/palacios/include/palacios/vmx_lowlevel.h
+++ b/palacios/include/palacios/vmx_lowlevel.h
@@ -56,7 +56,7 @@
 
 
 
-static inline int v3_enable_vmx(struct vmcs_data* vmxon_ptr) {
+static inline int v3_enable_vmx(struct vmcs_data * vmxon_ptr) {
     uint64_t vmxon_ptr_64 = (uint64_t)vmxon_ptr;
     uint8_t ret_invalid = 0;