X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=ca8fc1821f932627c3640446480055085eb66d39;hp=4b01c8bfbe4220e1fdbd71c2c4a22e7de300908a;hb=de6084de2145f3889a16d8498e5e7d44e96e0162;hpb=ddd9fd13627552b915753b06be997921cc904466

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index 4b01c8b..ca8fc18 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -425,6 +425,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;