|
@@ -40,7 +40,6 @@
|
|
|
#include <linux/proc_fs.h>
|
|
|
#include <linux/memblock.h>
|
|
|
#include <linux/of_fdt.h>
|
|
|
-#include <linux/of_platform.h>
|
|
|
#include <linux/efi.h>
|
|
|
#include <linux/psci.h>
|
|
|
|
|
@@ -301,18 +300,6 @@ void __init setup_arch(char **cmdline_p)
|
|
|
}
|
|
|
}
|
|
|
|
|
|
-static int __init arm64_device_init(void)
|
|
|
-{
|
|
|
- if (of_have_populated_dt()) {
|
|
|
- of_platform_populate(NULL, of_default_bus_match_table,
|
|
|
- NULL, NULL);
|
|
|
- } else if (acpi_disabled) {
|
|
|
- pr_crit("Device tree not populated\n");
|
|
|
- }
|
|
|
- return 0;
|
|
|
-}
|
|
|
-arch_initcall_sync(arm64_device_init);
|
|
|
-
|
|
|
static int __init topology_init(void)
|
|
|
{
|
|
|
int i;
|