spurious debug

diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c
index 7e8456b847ebe40830eb10ab0dd21aa6f8406666..7a3317ab73566a1d1a676d8585928127e94030ce 100644 (file)
--- a/kernel/arch/i386/memory.c
+++ b/kernel/arch/i386/memory.c
@@ -165,12 +165,6 @@ PRIVATE void vm_enable_paging(void)
        /* First enable paging, then enable global page flag. */
        write_cr0(cr0 | I386_CR0_PG);
        write_cr4(cr4 | I386_CR4_PGE);
-
-{
-       u32_t cr4v;
-       cr4v = read_cr4();
-       kprintf("cr4 = 0x%lx\n", cr4v);
-}
 }
 
 PUBLIC vir_bytes alloc_remote_segment(u32_t *selector,