From 294306ec5026ea691a4f1380598114688b061c99 Mon Sep 17 00:00:00 2001

[palacios.git] / palacios / src / palacios / vmm_ctrl_regs.c

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index ba6e9c5..9ed9102 100644 (file)
--- 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),