arm64: Populate the platform devices
authorCatalin Marinas <catalin.marinas@arm.com>
Fri, 7 Dec 2012 17:47:17 +0000 (17:47 +0000)
committerCatalin Marinas <catalin.marinas@arm.com>
Tue, 22 Jan 2013 17:51:00 +0000 (17:51 +0000)
commitd6bafb9b821a3a5ddeb600a9fd015085760d818e
treef53465c9797a5dcc2a44c9b8411c48756ec3929d
parentf1b99392caf120d7533da260318fae0eb5053737
arm64: Populate the platform devices

This patch add a device_initcall() to populate the platform devices
(of_default_bus_match_table). This allows SoC implementations that do
not require earlier initcalls to avoid any platform-specific code under
arch/arm64.

GIC and generic timer initialisation is done via FDT and CPU notifiers
independently of the SoC code.

Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
Acked-by: Arnd Bergmann <arnd@arndb.de>
arch/arm64/kernel/setup.c