X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_lowlevel.h;h=b654414abc8527e3d1b49185e621b6e42042af8a;hp=11409ce10efdb2796c2f981f07d843b4990f32b0;hb=a24a1722328a575cec8dd8578902fd0f68c72c1c;hpb=cc8a46c3523fd92c97fae8ba2433119a91a86441

diff --git a/palacios/include/palacios/vmx_lowlevel.h b/palacios/include/palacios/vmx_lowlevel.h
index 11409ce..b654414 100644
--- a/palacios/include/palacios/vmx_lowlevel.h
+++ b/palacios/include/palacios/vmx_lowlevel.h
@@ -126,7 +126,7 @@ static inline int vmcs_store(addr_t vmcs_ptr) {
     return VMX_SUCCESS;
 }
 
-static inline int vmcs_read(vmcs_field_t vmcs_field, void * dst, int len) {
+static inline int vmcs_read(vmcs_field_t vmcs_field, void * dst) {
     uint64_t val = 0;
     uint8_t ret_valid = 0;
     uint8_t ret_invalid = 0;
@@ -143,7 +143,7 @@ static inline int vmcs_read(vmcs_field_t vmcs_field, void * dst, int len) {
 
     CHECK_VMXFAIL(ret_valid, ret_invalid);
 
-    switch(len)
+    switch(v3_vmcs_get_field_len(vmcs_field))
     {
         case 2:
             *((uint16_t*)dst) = (uint16_t)val;