X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;h=9ed9102dc74af745ea3c077de02a31f4279e4fc9;hb=b54cbe1dbbe15ed228de7472ea284df96ecce909;hp=ba6e9c5ebeb42589cca5389988d66f983b328707;hpb=1786dcbd1b5a05d2591556db17bff62465713ee1;p=palacios.git

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index ba6e9c5..9ed9102 100644
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -327,7 +327,7 @@ int v3_handle_cr3_write(struct guest_info * info) {
 		    PrintError("Failed to activate 32 bit shadow page table\n");
 		    return -1;
 		}
-	    } 
+	    }
 	    
 	    PrintDebug("New Shadow CR3=%p; New Guest CR3=%p\n", 
 		       (void *)(addr_t)(info->ctrl_regs.cr3),