From: Patrick G. Bridges <bridges@cs.unm.edu>
Date: Fri, 20 Jan 2012 17:02:23 +0000 (-0700)
Subject: Added VMX handler for the preempt timer so that we don't just crash if we get it.
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=e2b51b5c5dd57b808c68a6b8dd9cb0b2af0b4763;p=palacios.git

Added VMX handler for the preempt timer so that we don't just crash if we get it.
---

diff --git a/palacios/src/palacios/vmx_handler.c b/palacios/src/palacios/vmx_handler.c
index be86fe2..60dde45 100644
--- a/palacios/src/palacios/vmx_handler.c
+++ b/palacios/src/palacios/vmx_handler.c
@@ -270,7 +270,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",