+ (atag_paddr & ((1 << SECOND_SHIFT) - 1));
fdt_size = device_tree_early_init(fdt);
+ cmdline_parse(device_tree_bootargs(fdt));
+
setup_pagetables(boot_phys_offset);
#ifdef EARLY_UART_ADDRESS
return 0;
}
+/**
+ * device_tree_bootargs - return the bootargs (the Xen command line)
+ * @fdt flat device tree.
+ */
+const char *device_tree_bootargs(const void *fdt)
+{
+ int node;
+ const struct fdt_property *prop;
+
+ node = fdt_path_offset(fdt, "/chosen");
+ if ( node < 0 )
+ return NULL;
+
+ prop = fdt_get_property(fdt, node, "bootargs", NULL);
+ if ( prop == NULL )
+ return NULL;
+
+ return prop->data;
+}
+
static int dump_node(const void *fdt, int node, const char *name, int depth,
u32 address_cells, u32 size_cells, void *data)
{
bool_t device_tree_node_matches(const void *fdt, int node, const char *match);
int device_tree_for_each_node(const void *fdt,
device_tree_node_func func, void *data);
+const char *device_tree_bootargs(const void *fdt);
void device_tree_dump(const void *fdt);
#endif