X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_handler.c;h=432b571daaa705b7fc455cafc4742244a54fef29;hb=94966f95239e03c7df97bd71d6be3e1316239d21;hp=be86fe29d65eb8d3a3d858912451815f7ae5567e;hpb=51e81a720ed4c05dba61e9475a310d88f4f32e40;p=palacios.git

diff --git a/palacios/src/palacios/vmx_handler.c b/palacios/src/palacios/vmx_handler.c
index be86fe2..432b571 100644
--- a/palacios/src/palacios/vmx_handler.c
+++ b/palacios/src/palacios/vmx_handler.c
@@ -75,6 +75,7 @@ int v3_handle_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_inf
     }
 
 
+
 #ifdef V3_CONFIG_TELEMETRY
     if (info->vm_info->enable_telemetry) {
 	v3_telemetry_start_exit(info);
@@ -270,7 +271,10 @@ int v3_handle_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_inf
 	    // This is handled in the atomic part of the vmx code,
 	    // not in the generic (interruptable) vmx handler
             break;
-
+        case VMEXIT_EXPIRED_PREEMPT_TIMER:
+	    V3_Print("VMX Preempt Timer Expired.\n");
+	    // This just forces an exit and is handled outside the switch
+	    break;
 	    
         default:
             PrintError("Unhandled VMEXIT: %s (%u), %lu (0x%lx)\n",