Receive Xen's command line passed by DTB using boot_fdt_cmdline()
and passed it to cmdline_parse() for further procesinng and setup
of Xen-specific parameters.
Signed-off-by: Oleksii Kurochko <oleksii.kurochko@gmail.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
void __init noreturn start_xen(unsigned long bootcpu_id,
paddr_t dtb_addr)
{
+ const char *cmdline;
+
remove_identity_mapping();
set_processor_id(0);
if ( !boot_fdt_info(device_tree_flattened, dtb_addr) )
BUG();
+ cmdline = boot_fdt_cmdline(device_tree_flattened);
+ printk("Command line: %s\n", cmdline);
+ cmdline_parse(cmdline);
+
printk("All set up\n");
machine_halt();