Clean the typos

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

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index d755e34..be9b074 100644 (file)
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -469,7 +469,6 @@ int v3_svm_enter(struct guest_info * info) {
 
     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);
     //    guest_ctrl->TSC_OFFSET = info->time_state.guest_tsc - info->time_state.cached_host_tsc;