From: Lei Xia <lxia@northwestern.edu>
Date: Wed, 28 Apr 2010 21:57:40 +0000 (-0500)
Subject: Clean the typos
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=d19b2db7746aafcc6cce5374a4537da454919827;hp=c4e343e346404fcc7674dcfa32e588a282be0f86;p=palacios.git

Clean the typos
---

diff --git a/palacios/include/palacios/vmm_time.h b/palacios/include/palacios/vmm_time.h
index 25ed924..120838d 100644
--- a/palacios/include/palacios/vmm_time.h
+++ b/palacios/include/palacios/vmm_time.h
@@ -31,10 +31,10 @@ struct vm_time {
     uint32_t cpu_freq; // in kHZ
 
     // Total number of guest run time cycles
-    uint64_t_t guest_tsc;
+    uint64_t guest_tsc;
 
     // Cache value to help calculate the guest_tsc
-    uint64_t_t cached_host_tsc;
+    uint64_t cached_host_tsc;
 
     // The number of cycles pending for notification to the timers
     //ullong_t pending_cycles;
diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index d755e34..be9b074 100644
--- 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;
 
diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index d2e3a79..253ae47 100644
--- 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) {