diff --git a/arch/x86/mm/page.c b/arch/x86/mm/page.c
index 7865645b..fd0d6368 100644
--- a/arch/x86/mm/page.c
+++ b/arch/x86/mm/page.c
@@ -765,7 +765,7 @@ int arch_paging_init(void)
 #ifdef CONFIG_ROCKCREEK
 	// map SCC's bootinfo
 	viraddr = map_region(SCC_BOOTINFO, SCC_BOOTINFO, 1, MAP_KERNEL_SPACE);
-	kprintf("Mao SCC's bootinfos at 0x%x\n", viraddr);
+	kprintf("Map SCC's bootinfos at 0x%x\n", viraddr);
 
 	// map SCC's configuration registers
 	viraddr = map_region(CRB_X0_Y0, CRB_X0_Y0, (CRB_OWN-CRB_X0_Y0+16*1024*1024) >> PAGE_SHIFT, MAP_KERNEL_SPACE|MAP_NO_CACHE);