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 static 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
[] __initconst
= {
35 DT_MACHINE_START(ATLAS6_DT
, "Generic ATLAS6 (Flattened Device Tree)")
36 /* Maintainer: Barry Song <baohua.song@csr.com> */
39 .map_io
= sirfsoc_map_io
,
40 .init_late
= sirfsoc_init_late
,
41 .dt_compat
= atlas6_dt_match
,
45 #ifdef CONFIG_ARCH_PRIMA2
46 static const char *prima2_dt_match
[] __initconst
= {
51 DT_MACHINE_START(PRIMA2_DT
, "Generic PRIMA2 (Flattened Device Tree)")
52 /* Maintainer: Barry Song <baohua.song@csr.com> */
55 .map_io
= sirfsoc_map_io
,
56 .dma_zone_size
= SZ_256M
,
57 .init_late
= sirfsoc_init_late
,
58 .dt_compat
= prima2_dt_match
,
62 #ifdef CONFIG_ARCH_MARCO
63 static const char *marco_dt_match
[] __initconst
= {
68 DT_MACHINE_START(MARCO_DT
, "Generic MARCO (Flattened Device Tree)")
69 /* Maintainer: Barry Song <baohua.song@csr.com> */
72 .smp
= smp_ops(sirfsoc_smp_ops
),
73 .map_io
= sirfsoc_map_io
,
74 .init_late
= sirfsoc_init_late
,
75 .dt_compat
= marco_dt_match
,