format fix

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index 04fba8e..7898eb7 100644 (file)
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -468,7 +468,7 @@ int v3_handle_cr4_write(struct guest_info * info) {
            (cr4->pge != new_cr4->pge) || 
            (cr4->pae != new_cr4->pae)) { 
            PrintDebug("Handling PSE/PGE/PAE -> TLBFlush case, flag set\n");
-           flush_tlb=1;
+           flush_tlb = 1;
            
        }
     }