From: Lei Xia <lxia@northwestern.edu>
Date: Wed, 30 Mar 2011 00:25:11 +0000 (-0500)
Subject: fix the VMCS invalid field error when read VMCS_GUEST_EFER
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=11d8d6df0e3b09140c18ff01153a890eee5cd71c;p=palacios.git

fix the VMCS invalid field error when read VMCS_GUEST_EFER
---

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;
     }
 
 
diff --git a/palacios/src/palacios/vmcs.c b/palacios/src/palacios/vmcs.c
index 154bed8..9d9b40d 100644
--- a/palacios/src/palacios/vmcs.c
+++ b/palacios/src/palacios/vmcs.c
@@ -914,10 +914,12 @@ int v3_vmcs_get_field_len(vmcs_field_t field) {
         case VMCS_HOST_SYSENTER_EIP:
         case VMCS_HOST_RSP:
         case VMCS_HOST_RIP:
+
+	 case VMCS_GUEST_EFER:
             return sizeof(addr_t);
 
         default:
-	    PrintError("Invalid VMCS field\n");
+	    PrintError("Invalid VMCS field: 0x%x\n", field);
             return -1;
     }
 }