| // SPDX-License-Identifier: GPL-2.0 |
| // |
| // Copyright 2008 Simtec Electronics |
| // Copyright 2008 Simtec Electronics |
| // Ben Dooks <ben@simtec.co.uk> |
| // http://armlinux.simtec.co.uk/ |
| |
| /* |
| * NOTE: Code in this file is not used when booting with Device Tree support. |
| */ |
| |
| #include <linux/kernel.h> |
| #include <linux/types.h> |
| #include <linux/interrupt.h> |
| #include <linux/list.h> |
| #include <linux/timer.h> |
| #include <linux/init.h> |
| #include <linux/clk.h> |
| #include <linux/io.h> |
| #include <linux/device.h> |
| #include <linux/serial_core.h> |
| #include <linux/serial_s3c.h> |
| #include <linux/platform_device.h> |
| #include <linux/of.h> |
| |
| #include <asm/mach/arch.h> |
| #include <asm/mach/map.h> |
| #include <asm/mach/irq.h> |
| |
| #include <asm/irq.h> |
| |
| #include <linux/soc/samsung/s3c-pm.h> |
| #include "regs-clock.h" |
| |
| #include "cpu.h" |
| #include "devs.h" |
| #include "sdhci.h" |
| #include "iic-core.h" |
| |
| #include "s3c64xx.h" |
| |
| void __init s3c6410_map_io(void) |
| { |
| /* initialise device information early */ |
| s3c6410_default_sdhci0(); |
| s3c6410_default_sdhci1(); |
| s3c6410_default_sdhci2(); |
| |
| /* the i2c devices are directly compatible with s3c2440 */ |
| s3c_i2c0_setname("s3c2440-i2c"); |
| s3c_i2c1_setname("s3c2440-i2c"); |
| } |
| |
| void __init s3c6410_init_irq(void) |
| { |
| /* VIC0 is missing IRQ7, VIC1 is fully populated. */ |
| s3c64xx_init_irq(~0 & ~(1 << 7), ~0); |
| } |
| |
| struct bus_type s3c6410_subsys = { |
| .name = "s3c6410-core", |
| .dev_name = "s3c6410-core", |
| }; |
| |
| static struct device s3c6410_dev = { |
| .bus = &s3c6410_subsys, |
| }; |
| |
| static int __init s3c6410_core_init(void) |
| { |
| /* Not applicable when using DT. */ |
| if (of_have_populated_dt() || !soc_is_s3c64xx()) |
| return 0; |
| |
| return subsys_system_register(&s3c6410_subsys, NULL); |
| } |
| |
| core_initcall(s3c6410_core_init); |
| |
| int __init s3c6410_init(void) |
| { |
| printk("S3C6410: Initialising architecture\n"); |
| |
| return device_register(&s3c6410_dev); |
| } |