ofw_tree_node_sysinfo 404 kernel/genarch/src/ofw/ofw_tree.c ofw_tree_node_sysinfo(cur->child, cur_path); ofw_tree_node_sysinfo 413 kernel/genarch/src/ofw/ofw_tree.c ofw_tree_node_sysinfo(ofw_root, NULL);