i7core_edac: Better describe the supported devices
[sfrench/cifs-2.6.git] / arch / arm / mach-ux500 / cpu-u8500.c
1 /*
2  * Copyright (C) 2008-2009 ST-Ericsson
3  *
4  * Author: Srinidhi KASAGAR <srinidhi.kasagar@stericsson.com>
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License version 2, as
8  * published by the Free Software Foundation.
9  *
10  */
11 #include <linux/types.h>
12 #include <linux/init.h>
13 #include <linux/device.h>
14 #include <linux/amba/bus.h>
15 #include <linux/irq.h>
16 #include <linux/platform_device.h>
17
18 #include <asm/hardware/gic.h>
19 #include <asm/mach/map.h>
20 #include <mach/hardware.h>
21
22 /* add any platform devices here - TODO */
23 static struct platform_device *platform_devs[] __initdata = {
24         /* yet to be added, add i2c0, gpio.. */
25 };
26
27 #define __IO_DEV_DESC(x, sz)    {               \
28         .virtual        = IO_ADDRESS(x),        \
29         .pfn            = __phys_to_pfn(x),     \
30         .length         = sz,                   \
31         .type           = MT_DEVICE,            \
32 }
33
34 /* minimum static i/o mapping required to boot U8500 platforms */
35 static struct map_desc u8500_io_desc[] __initdata = {
36         __IO_DEV_DESC(U8500_UART2_BASE, SZ_4K),
37         __IO_DEV_DESC(U8500_GIC_CPU_BASE, SZ_4K),
38         __IO_DEV_DESC(U8500_GIC_DIST_BASE, SZ_4K),
39         __IO_DEV_DESC(U8500_MTU0_BASE, SZ_4K),
40         __IO_DEV_DESC(U8500_TWD_BASE, SZ_4K),
41         __IO_DEV_DESC(U8500_SCU_BASE, SZ_4K),
42         __IO_DEV_DESC(U8500_BACKUPRAM0_BASE, SZ_8K),
43 };
44
45 void __init u8500_map_io(void)
46 {
47         iotable_init(u8500_io_desc, ARRAY_SIZE(u8500_io_desc));
48 }
49
50 void __init u8500_init_irq(void)
51 {
52         gic_dist_init(0, __io_address(U8500_GIC_DIST_BASE), 29);
53         gic_cpu_init(0, __io_address(U8500_GIC_CPU_BASE));
54 }
55
56 /*
57  * This function is called from the board init
58  */
59 void __init u8500_init_devices(void)
60 {
61         /* Register the platform devices */
62         platform_add_devices(platform_devs, ARRAY_SIZE(platform_devs));
63
64         return ;
65 }