diff --git a/arch/x86/mm/page.c b/arch/x86/mm/page.c
index cb22c6f3..7865645b 100644
--- a/arch/x86/mm/page.c
+++ b/arch/x86/mm/page.c
@@ -764,7 +764,8 @@ int arch_paging_init(void)
 
 #ifdef CONFIG_ROCKCREEK
 	// map SCC's bootinfo
-	map_region(SCC_BOOTINFO, SCC_BOOTINFO, 1, MAP_KERNEL_SPACE);
+	viraddr = map_region(SCC_BOOTINFO, SCC_BOOTINFO, 1, MAP_KERNEL_SPACE);
+	kprintf("Mao 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);