mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / mach-iop13xx / iq81340mc.c
blobd255ab5ad1a57407061c4b1c53b23daa3062e520
1 /*
2 * iq81340mc board support
3 * Copyright (c) 2005-2006, Intel Corporation.
5 * This program is free software; you can redistribute it and/or modify it
6 * under the terms and conditions of the GNU General Public License,
7 * version 2, as published by the Free Software Foundation.
9 * This program is distributed in the hope it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
12 * more details.
14 * You should have received a copy of the GNU General Public License along with
15 * this program; if not, write to the Free Software Foundation, Inc., 59 Temple
16 * Place - Suite 330, Boston, MA 02111-1307 USA.
19 #include <linux/pci.h>
21 #include <mach/hardware.h>
22 #include <asm/irq.h>
23 #include <asm/mach/pci.h>
24 #include <asm/mach-types.h>
25 #include <asm/mach/arch.h>
26 #include "pci.h"
27 #include <asm/mach/time.h>
28 #include <mach/time.h>
30 extern int init_atu; /* Flag to select which ATU(s) to initialize / disable */
32 static int __init
33 iq81340mc_pcix_map_irq(const struct pci_dev *dev, u8 idsel, u8 pin)
35 switch (idsel) {
36 case 1:
37 switch (pin) {
38 case 1: return ATUX_INTB;
39 case 2: return ATUX_INTC;
40 case 3: return ATUX_INTD;
41 case 4: return ATUX_INTA;
42 default: return -1;
44 case 2:
45 switch (pin) {
46 case 1: return ATUX_INTC;
47 case 2: return ATUX_INTD;
48 case 3: return ATUX_INTC;
49 case 4: return ATUX_INTD;
50 default: return -1;
52 default: return -1;
56 static struct hw_pci iq81340mc_pci __initdata = {
57 .nr_controllers = 0,
58 .setup = iop13xx_pci_setup,
59 .map_irq = iq81340mc_pcix_map_irq,
60 .scan = iop13xx_scan_bus,
61 .preinit = iop13xx_pci_init,
64 static int __init iq81340mc_pci_init(void)
66 iop13xx_atu_select(&iq81340mc_pci);
67 pci_common_init(&iq81340mc_pci);
68 iop13xx_map_pci_memory();
70 return 0;
73 static void __init iq81340mc_init(void)
75 iop13xx_platform_init();
76 iq81340mc_pci_init();
77 iop13xx_add_tpmi_devices();
80 static void __init iq81340mc_timer_init(void)
82 unsigned long bus_freq = iop13xx_core_freq() / iop13xx_xsi_bus_ratio();
83 printk(KERN_DEBUG "%s: bus frequency: %lu\n", __func__, bus_freq);
84 iop_init_time(bus_freq);
87 MACHINE_START(IQ81340MC, "Intel IQ81340MC")
88 /* Maintainer: Dan Williams <dan.j.williams@intel.com> */
89 .atag_offset = 0x100,
90 .init_early = iop13xx_init_early,
91 .map_io = iop13xx_map_io,
92 .init_irq = iop13xx_init_irq,
93 .init_time = iq81340mc_timer_init,
94 .init_machine = iq81340mc_init,
95 .restart = iop13xx_restart,
96 .nr_irqs = NR_IOP13XX_IRQS,
97 MACHINE_END