|
@@ -14,7 +14,6 @@
|
|
|
#include <linux/module.h>
|
|
|
#include <linux/cpu.h>
|
|
|
#include <linux/of_fdt.h>
|
|
|
-#include <linux/of_platform.h>
|
|
|
#include <linux/cache.h>
|
|
|
#include <asm/sections.h>
|
|
|
#include <asm/arcregs.h>
|
|
@@ -435,12 +434,6 @@ void __init setup_arch(char **cmdline_p)
|
|
|
|
|
|
static int __init customize_machine(void)
|
|
|
{
|
|
|
- /*
|
|
|
- * Traverses flattened DeviceTree - registering platform devices
|
|
|
- * (if any) complete with their resources
|
|
|
- */
|
|
|
- of_platform_default_populate(NULL, NULL, NULL);
|
|
|
-
|
|
|
if (machine_desc->init_machine)
|
|
|
machine_desc->init_machine();
|
|
|
|