arch/powerpc/platforms/83xx/mpc831x_rdb.c

   1 // SPDX-License-Identifier: GPL-2.0-or-later
   2 /*
   3  * arch/powerpc/platforms/83xx/mpc831x_rdb.c
   4  *
   5  * Description: MPC831x RDB board specific routines.
   6  * This file is based on mpc834x_sys.c
   7  * Author: Lo Wlison <r43300@freescale.com>
   8  *
   9  * Copyright (C) Freescale Semiconductor, Inc. 2006. All rights reserved.
  10  */
  11
  12 #include <linux/pci.h>
  13 #include <linux/of_platform.h>
  14
  15 #include <asm/time.h>
  16 #include <asm/ipic.h>
  17 #include <asm/udbg.h>
  18 #include <sysdev/fsl_pci.h>
  19
  20 #include "mpc83xx.h"
  21
  22 /*
  23  * Setup the architecture
  24  */
  25 static void __init mpc831x_rdb_setup_arch(void)
  26 {
  27         mpc83xx_setup_arch();
  28         mpc831x_usb_cfg();
  29 }
  30
  31 static const char *board[] __initdata = {
  32         "MPC8313ERDB",
  33         "fsl,mpc8315erdb",
  34         NULL
  35 };
  36
  37 /*
  38  * Called very early, MMU is off, device-tree isn't unflattened
  39  */
  40 static int __init mpc831x_rdb_probe(void)
  41 {
  42         return of_device_compatible_match(of_root, board);
  43 }
  44
  45 machine_device_initcall(mpc831x_rdb, mpc83xx_declare_of_platform_devices);
  46
  47 define_machine(mpc831x_rdb) {
  48         .name                   = "MPC831x RDB",
  49         .probe                  = mpc831x_rdb_probe,
  50         .setup_arch             = mpc831x_rdb_setup_arch,
  51         .discover_phbs          = mpc83xx_setup_pci,
  52         .init_IRQ               = mpc83xx_ipic_init_IRQ,
  53         .get_irq                = ipic_get_irq,
  54         .restart                = mpc83xx_restart,
  55         .time_init              = mpc83xx_time_init,
  56         .calibrate_decr         = generic_calibrate_decr,
  57         .progress               = udbg_progress,
  58 };