cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

mpc831x_rdb.c (1318B)

      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 */
     25static void __init mpc831x_rdb_setup_arch(void)
     26{
     27	mpc83xx_setup_arch();
     28	mpc831x_usb_cfg();
     29}
     30
     31static 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 */
     40static int __init mpc831x_rdb_probe(void)
     41{
     42	return of_device_compatible_match(of_root, board);
     43}
     44
     45machine_device_initcall(mpc831x_rdb, mpc83xx_declare_of_platform_devices);
     46
     47define_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};