|
@@ -80,15 +80,15 @@ void __init setup_memory(void)
|
|
memory_size = memory_end - memory_start;
|
|
memory_size = memory_end - memory_start;
|
|
PAGE_OFFSET = memory_start;
|
|
PAGE_OFFSET = memory_start;
|
|
printk(KERN_INFO "%s: Main mem: 0x%x-0x%x, "
|
|
printk(KERN_INFO "%s: Main mem: 0x%x-0x%x, "
|
|
- "size 0x%08x\n", __func__, memory_start,
|
|
|
|
- memory_end, memory_size);
|
|
|
|
|
|
+ "size 0x%08x\n", __func__, (u32) memory_start,
|
|
|
|
+ (u32) memory_end, (u32) memory_size);
|
|
break;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
if (!memory_start || !memory_end) {
|
|
if (!memory_start || !memory_end) {
|
|
panic("%s: Missing memory setting 0x%08x-0x%08x\n",
|
|
panic("%s: Missing memory setting 0x%08x-0x%08x\n",
|
|
- __func__, memory_start, memory_end);
|
|
|
|
|
|
+ __func__, (u32) memory_start, (u32) memory_end);
|
|
}
|
|
}
|
|
|
|
|
|
/* reservation of region where is the kernel */
|
|
/* reservation of region where is the kernel */
|