From bb2334428337d417ba6af76a006d0802cde08fb6 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Mon, 27 Apr 2009 16:11:38 +0000 Subject: [PATCH] spurious debug --- kernel/arch/i386/memory.c | 6 ------ 1 file changed, 6 deletions(-) diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c index 7e8456b84..7a3317ab7 100644 --- 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,