linux/arch/powerpc/platforms/44x/virtex.c
<<
>>
Prefs
   1/*
   2 * Xilinx Virtex 5FXT based board support, derived from
   3 * the Xilinx Virtex (IIpro & 4FX) based board support
   4 *
   5 * Copyright 2007 Secret Lab Technologies Ltd.
   6 * Copyright 2008 Xilinx, Inc.
   7 *
   8 * This file is licensed under the terms of the GNU General Public License
   9 * version 2. This program is licensed "as is" without any warranty of any
  10 * kind, whether express or implied.
  11 */
  12
  13#include <linux/init.h>
  14#include <linux/of_platform.h>
  15#include <asm/machdep.h>
  16#include <asm/prom.h>
  17#include <asm/time.h>
  18#include <asm/xilinx_intc.h>
  19#include <asm/xilinx_pci.h>
  20#include <asm/reg.h>
  21#include <asm/ppc4xx.h>
  22#include "44x.h"
  23
  24static const struct of_device_id xilinx_of_bus_ids[] __initconst = {
  25        { .compatible = "simple-bus", },
  26        { .compatible = "xlnx,plb-v46-1.00.a", },
  27        { .compatible = "xlnx,plb-v46-1.02.a", },
  28        { .compatible = "xlnx,plb-v34-1.01.a", },
  29        { .compatible = "xlnx,plb-v34-1.02.a", },
  30        { .compatible = "xlnx,opb-v20-1.10.c", },
  31        { .compatible = "xlnx,dcr-v29-1.00.a", },
  32        { .compatible = "xlnx,compound", },
  33        {}
  34};
  35
  36static int __init virtex_device_probe(void)
  37{
  38        of_platform_bus_probe(NULL, xilinx_of_bus_ids, NULL);
  39
  40        return 0;
  41}
  42machine_device_initcall(virtex, virtex_device_probe);
  43
  44static int __init virtex_probe(void)
  45{
  46        if (!of_machine_is_compatible("xlnx,virtex440"))
  47                return 0;
  48
  49        return 1;
  50}
  51
  52define_machine(virtex) {
  53        .name                   = "Xilinx Virtex440",
  54        .probe                  = virtex_probe,
  55        .setup_arch             = xilinx_pci_init,
  56        .init_IRQ               = xilinx_intc_init_tree,
  57        .get_irq                = xintc_get_irq,
  58        .calibrate_decr         = generic_calibrate_decr,
  59        .restart                = ppc4xx_reset_system,
  60};
  61