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=6db9f17cc23e2f9fcff9c06e421f4c8dab9e32c3;hb=11d8d6df0e3b09140c18ff01153a890eee5cd71c;hp=01bca797049e79a70dfa70e4e93f7b43ef94d58a;hpb=c73fbe1bce9b5f0dda395d73b9a251dfc5357df7;p=palacios.git

diff --git a/palacios/include/palacios/vmx_lowlevel.h b/palacios/include/palacios/vmx_lowlevel.h
index 01bca79..6db9f17 100644
--- a/palacios/include/palacios/vmx_lowlevel.h
+++ b/palacios/include/palacios/vmx_lowlevel.h
@@ -155,6 +155,8 @@ static inline int vmcs_read(vmcs_field_t vmcs_field, void * dst) {
         case 8:
             *((uint64_t*)dst) = (uint64_t)val;
             break;
+	default:
+	     return -1;
     }