Helpful for diagnosis of bad console= parameters.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
{
size_t fdt_size;
int cpus, i;
+ const char *cmdline;
setup_cache();
+ (fdt_paddr & ((1 << SECOND_SHIFT) - 1));
fdt_size = device_tree_early_init(device_tree_flattened, fdt_paddr);
- cmdline_parse(device_tree_bootargs(device_tree_flattened));
+ cmdline = device_tree_bootargs(device_tree_flattened);
+ early_printk("Command line: %s\n", cmdline);
+ cmdline_parse(cmdline);
setup_pagetables(boot_phys_offset, get_xen_paddr());
setup_mm(fdt_paddr, fdt_size);