arch/powerpc/platforms/85xx/p1010rdb.c

   1 /*
   2  * P1010RDB Board Setup
   3  *
   4  * Copyright 2011 Freescale Semiconductor Inc.
   5  *
   6  * This program is free software; you can redistribute  it and/or modify it
   7  * under  the terms of  the GNU General  Public License as published by the
   8  * Free Software Foundation;  either version 2 of the  License, or (at your
   9  * option) any later version.
  10  */
  11
  12 #include <linux/stddef.h>
  13 #include <linux/kernel.h>
  14 #include <linux/pci.h>
  15 #include <linux/delay.h>
  16 #include <linux/interrupt.h>
  17 #include <linux/of_platform.h>
  18
  19 #include <asm/system.h>
  20 #include <asm/time.h>
  21 #include <asm/machdep.h>
  22 #include <asm/pci-bridge.h>
  23 #include <mm/mmu_decl.h>
  24 #include <asm/prom.h>
  25 #include <asm/udbg.h>
  26 #include <asm/mpic.h>
  27
  28 #include <sysdev/fsl_soc.h>
  29 #include <sysdev/fsl_pci.h>
  30
  31 #include "mpc85xx.h"
  32
  33 void __init p1010_rdb_pic_init(void)
  34 {
  35         struct mpic *mpic = mpic_alloc(NULL, 0,
  36           MPIC_WANTS_RESET | MPIC_BIG_ENDIAN |
  37           MPIC_BROKEN_FRR_NIRQS | MPIC_SINGLE_DEST_CPU,
  38           0, 256, " OpenPIC  ");
  39
  40         BUG_ON(mpic == NULL);
  41
  42         mpic_init(mpic);
  43 }
  44
  45
  46 /*
  47  * Setup the architecture
  48  */
  49 static void __init p1010_rdb_setup_arch(void)
  50 {
  51 #ifdef CONFIG_PCI
  52         struct device_node *np;
  53 #endif
  54
  55         if (ppc_md.progress)
  56                 ppc_md.progress("p1010_rdb_setup_arch()", 0);
  57
  58 #ifdef CONFIG_PCI
  59         for_each_node_by_type(np, "pci") {
  60                 if (of_device_is_compatible(np, "fsl,p1010-pcie"))
  61                         fsl_add_bridge(np, 0);
  62         }
  63
  64 #endif
  65
  66         printk(KERN_INFO "P1010 RDB board from Freescale Semiconductor\n");
  67 }
  68
  69 machine_device_initcall(p1010_rdb, mpc85xx_common_publish_devices);
  70 machine_arch_initcall(p1010_rdb, swiotlb_setup_bus_notifier);
  71
  72 /*
  73  * Called very early, device-tree isn't unflattened
  74  */
  75 static int __init p1010_rdb_probe(void)
  76 {
  77         unsigned long root = of_get_flat_dt_root();
  78
  79         if (of_flat_dt_is_compatible(root, "fsl,P1010RDB"))
  80                 return 1;
  81         return 0;
  82 }
  83
  84 define_machine(p1010_rdb) {
  85         .name                   = "P1010 RDB",
  86         .probe                  = p1010_rdb_probe,
  87         .setup_arch             = p1010_rdb_setup_arch,
  88         .init_IRQ               = p1010_rdb_pic_init,
  89 #ifdef CONFIG_PCI
  90         .pcibios_fixup_bus      = fsl_pcibios_fixup_bus,
  91 #endif
  92         .get_irq                = mpic_get_irq,
  93         .restart                = fsl_rstcr_restart,
  94         .calibrate_decr         = generic_calibrate_decr,
  95         .progress               = udbg_progress,
  96 };