Add dynamic VMM Driven/Guest Driven mode switch in VNET devices

[palacios.git] / palacios / src / palacios / vmx_assist.c

diff --git a/palacios/src/palacios/vmx_assist.c b/palacios/src/palacios/vmx_assist.c
index d836ad2..d59ed0d 100644 (file)
--- a/palacios/src/palacios/vmx_assist.c
+++ b/palacios/src/palacios/vmx_assist.c
@@ -59,7 +59,7 @@ int v3_vmxassist_ctx_switch(struct guest_info * info) {
         return -1;
     }
 
-    if (vmx_info->state == VMXASSIST_DISABLED) {
+    if (vmx_info->assist_state == VMXASSIST_DISABLED) {
         
         /* Save the old Context */
        vmx_save_world_ctx(info, old_ctx);
@@ -67,13 +67,13 @@ int v3_vmxassist_ctx_switch(struct guest_info * info) {
         /* restore new context, vmxassist should launch the bios the first time */
         vmx_restore_world_ctx(info, new_ctx);
 
-        vmx_info->state = VMXASSIST_ENABLED;
+        vmx_info->assist_state = VMXASSIST_ENABLED;
 
-    } else if (vmx_info->state == VMXASSIST_ENABLED) {
+    } else if (vmx_info->assist_state == VMXASSIST_ENABLED) {
         /* restore old context */
        vmx_restore_world_ctx(info, old_ctx);
 
-        vmx_info->state = VMXASSIST_DISABLED;
+        vmx_info->assist_state = VMXASSIST_DISABLED;
     }
 
     return 0;