|
@@ -136,7 +136,7 @@ void __init machine_early_init(const char *cmdline, unsigned int ram,
|
|
|
lockdep_init();
|
|
|
|
|
|
/* initialize device tree for usage in early_printk */
|
|
|
- early_init_devtree((void *)_fdt_start);
|
|
|
+ early_init_devtree(_fdt_start);
|
|
|
|
|
|
#ifdef CONFIG_EARLY_PRINTK
|
|
|
setup_early_printk(NULL);
|
|
@@ -152,8 +152,7 @@ void __init machine_early_init(const char *cmdline, unsigned int ram,
|
|
|
if (fdt)
|
|
|
pr_info("FDT at 0x%08x\n", fdt);
|
|
|
else
|
|
|
- pr_info("Compiled-in FDT at 0x%08x\n",
|
|
|
- (unsigned int)_fdt_start);
|
|
|
+ pr_info("Compiled-in FDT at %p\n", _fdt_start);
|
|
|
|
|
|
#ifdef CONFIG_MTD_UCLINUX
|
|
|
pr_info("Found romfs @ 0x%08x (0x%08x)\n",
|