X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_time.c;h=51fbba7e9b022f61320875752cf49420b6dc6720;hb=7cd8a847f6092d3e1c672aecc9f707d37f3dbd59;hp=010a8e23ffa975b6e1ca89ed93afd1718e021700;hpb=65ffa7d1ac6dfb3399ba2b217d27519e258ee00a;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_time.c b/palacios/src/palacios/vmm_time.c
index 010a8e2..51fbba7 100644
--- a/palacios/src/palacios/vmm_time.c
+++ b/palacios/src/palacios/vmm_time.c
@@ -306,7 +306,7 @@ void v3_deinit_time_vm(struct v3_vm_info * vm) {
     v3_unhook_msr(vm, TSC_MSR);
     v3_unhook_msr(vm, TSC_AUX_MSR);
 
-    //    v3_remove_hypercall(vm, TIME_CPUFREQ_HCALL);
+    v3_remove_hypercall(vm, TIME_CPUFREQ_HCALL);
 }
 
 void v3_init_time_core(struct guest_info * info) {