1 /*
2 * Copyright (C) 2007 Google, Inc.
3 * Copyright (C) 2011 Intel, Inc.
4 * Copyright (C) 2013 Intel, Inc.
5 *
6 * This software is licensed under the terms of the GNU General Public
7 * License version 2, as published by the Free Software Foundation, and
8 * may be copied, distributed, and modified under those terms.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
14 *
15 */
16
17 #include <linux/kernel.h>
18 #include <linux/irq.h>
19 #include <linux/platform_device.h>
20
21 /*
22 * Where in virtual device memory the IO devices (timers, system controllers
23 * and so on)
24 */
25
26 #define GOLDFISH_PDEV_BUS_BASE (0xff001000)
27 #define GOLDFISH_PDEV_BUS_END (0xff7fffff)
28 #define GOLDFISH_PDEV_BUS_IRQ (4)
29
30 #define GOLDFISH_TTY_BASE (0x2000)
31
32 static struct resource goldfish_pdev_bus_resources[] = {
33 {
34 .start = GOLDFISH_PDEV_BUS_BASE,
35 .end = GOLDFISH_PDEV_BUS_END,
36 .flags = IORESOURCE_MEM,
37 },
38 {
39 .start = GOLDFISH_PDEV_BUS_IRQ,
40 .end = GOLDFISH_PDEV_BUS_IRQ,
41 .flags = IORESOURCE_IRQ,
42 }
43 };
44
goldfish_init(void)45 static int __init goldfish_init(void)
46 {
47 platform_device_register_simple("goldfish_pdev_bus", -1,
48 goldfish_pdev_bus_resources, 2);
49 return 0;
50 }
51 device_initcall(goldfish_init);
52