X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcs.c;h=0b874fd636f207df0b7378e3186edbda08158e27;hb=603e4c1a451138080ded3d4e3cd3b8716741db89;hp=9d9b40d1105fdcdc27411c2aec71d29e0cef2b6b;hpb=11d8d6df0e3b09140c18ff01153a890eee5cd71c;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmcs.c b/palacios/src/palacios/vmcs.c
index 9d9b40d..0b874fd 100644
--- a/palacios/src/palacios/vmcs.c
+++ b/palacios/src/palacios/vmcs.c
@@ -851,6 +851,7 @@ int v3_vmcs_get_field_len(vmcs_field_t field) {
         case VMCS_GUEST_DBG_CTL_HIGH:
         case VMCS_GUEST_PERF_GLOBAL_CTRL_HIGH:
 	case VMCS_HOST_PERF_GLOBAL_CTRL_HIGH:
+	case VMCS_GUEST_EFER_HIGH:
             return 4;
 
             /* Natural Width Control Fields */
@@ -914,8 +915,7 @@ 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:
+	case VMCS_GUEST_EFER:
             return sizeof(addr_t);
 
         default: