Clean the typos

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

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index d2e3a79..253ae47 100644 (file)
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -661,7 +661,6 @@ int v3_vmx_enter(struct guest_info * info) {
     // We do timer injection here to track real host time.
     rdtscll(tmp_tsc);
     v3_update_time(info, tmp_tsc - info->time_state.cached_host_tsc);
-    info->time_state.cached_hlt_tsc = 0;
     rdtscll(info->time_state.cached_host_tsc);
 
     if (info->vm_info->run_state == VM_STOPPED) {