X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_checkpoint.c;h=8156cdf415bc2565b061310afbd88ec6e315e62a;hb=6fa605075d1944da0a88a389122ea24bbc583329;hp=6bb8a7981cb09eb8e3dea8dc7aa5c3b34254b896;hpb=444896a3622e7918f81ccc7c0ac17edf90a6f7b9;p=palacios.git

diff --git a/palacios/src/palacios/vmm_checkpoint.c b/palacios/src/palacios/vmm_checkpoint.c
index 6bb8a79..8156cdf 100644
--- a/palacios/src/palacios/vmm_checkpoint.c
+++ b/palacios/src/palacios/vmm_checkpoint.c
@@ -490,7 +490,7 @@ static struct mem_migration_state *start_page_tracking(struct v3_vm_info *vm)
 	v3_invalidate_shadow_pts(&(vm->cores[i]));
       }
     } else if (vm->cores[0].shdw_pg_mode==NESTED_PAGING) { 
-      //v3_register_nested_paging_event_callback(vm,nested_paging_callback,m);
+	//v3_register_nested_paging_event_callback(vm,nested_paging_callback,m);
       
       for (i=0;i<vm->num_cores;i++) {
 	//v3_invalidate_nested_addr_range(&(vm->cores[i]),0,vm->mem_size-1);