X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_handler.c;h=357f0d21ac29f7a72c80bfa91f962be08b501de1;hb=a02f23087d0ea3df6dbd494de90754b3302ee9a5;hp=9d29f9f96f6cf5c73ae443da61ec75cbc7200cfc;hpb=7711c884eae1625fdf136e6442c270d4992e22b4;p=palacios.git

diff --git a/palacios/src/palacios/vmx_handler.c b/palacios/src/palacios/vmx_handler.c
index 9d29f9f..357f0d2 100644
--- a/palacios/src/palacios/vmx_handler.c
+++ b/palacios/src/palacios/vmx_handler.c
@@ -100,15 +100,16 @@ int v3_handle_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_inf
 
             break;
 
-#if 0
         case VMEXIT_RDTSC:
+#ifdef CONFIG_DEBUG_TIME
+	    PrintDebug("RDTSC\n");
+#endif 
 	    if (v3_handle_rdtsc(info) == -1) {
 		PrintError("Error Handling RDTSC instruction\n");
 		return -1;
 	    }
 	    
 	    break;
-#endif
 
         case VMEXIT_CPUID:
 	    if (v3_handle_cpuid(info) == -1) {