2 * Defines machines for CSR SiRFprimaII
4 * Copyright (c) 2011 Cambridge Silicon Radio Limited, a CSR plc group company.
6 * Licensed under GPLv2 or later.
9 #include <linux/init.h>
10 #include <linux/kernel.h>
11 #include <asm/sizes.h>
12 #include <asm/mach-types.h>
13 #include <asm/mach/arch.h>
15 #include <linux/of_platform.h>
18 void __init sirfsoc_init_late(void)
23 static __init void sirfsoc_map_io(void)
29 #ifdef CONFIG_ARCH_ATLAS6
30 static const char *atlas6_dt_match[] __initdata = {
35 DT_MACHINE_START(ATLAS6_DT, "Generic ATLAS6 (Flattened Device Tree)")
36 /* Maintainer: Barry Song <baohua.song@csr.com> */
37 .map_io = sirfsoc_map_io,
38 .init_late = sirfsoc_init_late,
39 .dt_compat = atlas6_dt_match,
40 .restart = sirfsoc_restart,
44 #ifdef CONFIG_ARCH_PRIMA2
45 static const char *prima2_dt_match[] __initdata = {
50 DT_MACHINE_START(PRIMA2_DT, "Generic PRIMA2 (Flattened Device Tree)")
51 /* Maintainer: Barry Song <baohua.song@csr.com> */
52 .map_io = sirfsoc_map_io,
53 .dma_zone_size = SZ_256M,
54 .init_late = sirfsoc_init_late,
55 .dt_compat = prima2_dt_match,
56 .restart = sirfsoc_restart,
60 #ifdef CONFIG_ARCH_MARCO
61 static const char *marco_dt_match[] __initdata = {
66 DT_MACHINE_START(MARCO_DT, "Generic MARCO (Flattened Device Tree)")
67 /* Maintainer: Barry Song <baohua.song@csr.com> */
68 .smp = smp_ops(sirfsoc_smp_ops),
69 .map_io = sirfsoc_map_io,
70 .init_late = sirfsoc_init_late,
71 .dt_compat = marco_dt_match,
72 .restart = sirfsoc_restart,