X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;fp=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=9f725143caf6ba86d5129d01fa68e2bdab3a9741;hp=acb535383ed24aa19a33dfd6609a62dd9ca7096f;hb=87b1679efe8bee960b65cfd730188ccc94966b71;hpb=21df67a7435c744e31ad1210b5d77dbd52d2e5e5

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index acb5353..9f72514 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -419,6 +419,8 @@ int v3_svm_enter(struct guest_info * info) {
     // disable global interrupts for vm state transition
     v3_clgi();
 
+    /// checkpoint 
+
     // Synchronize the guest state to the VMCB
     guest_state->cr0 = info->ctrl_regs.cr0;
     guest_state->cr2 = info->ctrl_regs.cr2;