X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=6e8bece6b439c577a1a86930753564743c1d9d91;hb=5d67a000f2d9e0043237af7c86eecd034119fe93;hp=dffbdb8c7098d73f6a5ac6321571fb21bd50ffea;hpb=ae06bda339f919423d0a2291759850dcee3f85da;p=palacios.git

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index dffbdb8..6e8bece 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -463,7 +463,9 @@ int v3_svm_enter(struct guest_info * info) {
     // disable global interrupts for vm state transition
     v3_clgi();
 
-    // Update timer devices prior to entering VM.
+    // Update timer devices right before entering the VM. Doing it 
+    // here makes sure the guest sees any timers that fired while 
+    // it was in the VMM
     v3_update_timers(info);
 
     // Synchronize the guest state to the VMCB