ARM: 7409/1: Do not call flush_cache_user_range with mmap_sem held
[linux/fpc-iii.git] / arch / arm / mach-ks8695 / board-micrel.c
blobc7ad09bd6ea21a02e6f95968f9d79625add4cd33
1 /*
2 * arch/arm/mach-ks8695/board-micrel.c
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 */
9 #include <linux/kernel.h>
10 #include <linux/types.h>
11 #include <linux/interrupt.h>
12 #include <linux/init.h>
13 #include <linux/platform_device.h>
15 #include <asm/mach-types.h>
17 #include <asm/mach/arch.h>
18 #include <asm/mach/map.h>
19 #include <asm/mach/irq.h>
21 #include <mach/gpio.h>
22 #include <mach/devices.h>
24 #include "generic.h"
26 #ifdef CONFIG_PCI
27 static int micrel_pci_map_irq(struct pci_dev *dev, u8 slot, u8 pin)
29 return KS8695_IRQ_EXTERN0;
32 static struct ks8695_pci_cfg __initdata micrel_pci = {
33 .mode = KS8695_MODE_MINIPCI,
34 .map_irq = micrel_pci_map_irq,
36 #endif
39 static void __init micrel_init(void)
41 printk(KERN_INFO "Micrel KS8695 Development Board initializing\n");
43 ks8695_register_gpios();
45 #ifdef CONFIG_PCI
46 ks8695_init_pci(&micrel_pci);
47 #endif
49 /* Add devices */
50 ks8695_add_device_wan(); /* eth0 = WAN */
51 ks8695_add_device_lan(); /* eth1 = LAN */
54 MACHINE_START(KS8695, "KS8695 Centaur Development Board")
55 /* Maintainer: Micrel Semiconductor Inc. */
56 .boot_params = KS8695_SDRAM_PA + 0x100,
57 .map_io = ks8695_map_io,
58 .init_irq = ks8695_init_irq,
59 .init_machine = micrel_init,
60 .timer = &ks8695_timer,
61 MACHINE_END