|
@@ -99,6 +99,7 @@ static char const *exynos4_dt_compat[] __initdata = {
|
|
|
|
|
|
DT_MACHINE_START(EXYNOS4210_DT, "Samsung Exynos4 (Flattened Device Tree)")
|
|
|
/* Maintainer: Thomas Abraham <thomas.abraham@linaro.org> */
|
|
|
+ .smp = smp_ops(exynos_smp_ops),
|
|
|
.init_irq = exynos4_init_irq,
|
|
|
.map_io = exynos4_dt_map_io,
|
|
|
.handle_irq = gic_handle_irq,
|