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

mpc830x_rdb.c (1389B)

      1// SPDX-License-Identifier: GPL-2.0-or-later
      2/*
      3 * arch/powerpc/platforms/83xx/mpc830x_rdb.c
      4 *
      5 * Description: MPC830x RDB board specific routines.
      6 * This file is based on mpc831x_rdb.c
      7 *
      8 * Copyright (C) Freescale Semiconductor, Inc. 2009. All rights reserved.
      9 * Copyright (C) 2010. Ilya Yanok, Emcraft Systems, yanok@emcraft.com
     10 */
     11
     12#include <linux/pci.h>
     13#include <linux/of_platform.h>
     14#include <asm/time.h>
     15#include <asm/ipic.h>
     16#include <asm/udbg.h>
     17#include <sysdev/fsl_pci.h>
     18#include <sysdev/fsl_soc.h>
     19#include "mpc83xx.h"
     20
     21/*
     22 * Setup the architecture
     23 */
     24static void __init mpc830x_rdb_setup_arch(void)
     25{
     26	mpc83xx_setup_arch();
     27	mpc831x_usb_cfg();
     28}
     29
     30static const char *board[] __initdata = {
     31	"MPC8308RDB",
     32	"fsl,mpc8308rdb",
     33	"denx,mpc8308_p1m",
     34	NULL
     35};
     36
     37/*
     38 * Called very early, MMU is off, device-tree isn't unflattened
     39 */
     40static int __init mpc830x_rdb_probe(void)
     41{
     42	return of_device_compatible_match(of_root, board);
     43}
     44
     45machine_device_initcall(mpc830x_rdb, mpc83xx_declare_of_platform_devices);
     46
     47define_machine(mpc830x_rdb) {
     48	.name			= "MPC830x RDB",
     49	.probe			= mpc830x_rdb_probe,
     50	.setup_arch		= mpc830x_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};