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

p1010rdb.c (1639B)

      1// SPDX-License-Identifier: GPL-2.0-or-later
      2/*
      3 * P1010RDB Board Setup
      4 *
      5 * Copyright 2011 Freescale Semiconductor Inc.
      6 */
      7
      8#include <linux/stddef.h>
      9#include <linux/kernel.h>
     10#include <linux/pci.h>
     11#include <linux/delay.h>
     12#include <linux/interrupt.h>
     13#include <linux/of_platform.h>
     14
     15#include <asm/time.h>
     16#include <asm/machdep.h>
     17#include <asm/pci-bridge.h>
     18#include <mm/mmu_decl.h>
     19#include <asm/udbg.h>
     20#include <asm/mpic.h>
     21
     22#include <sysdev/fsl_soc.h>
     23#include <sysdev/fsl_pci.h>
     24
     25#include "mpc85xx.h"
     26
     27void __init p1010_rdb_pic_init(void)
     28{
     29	struct mpic *mpic = mpic_alloc(NULL, 0, MPIC_BIG_ENDIAN |
     30	  MPIC_SINGLE_DEST_CPU,
     31	  0, 256, " OpenPIC  ");
     32
     33	BUG_ON(mpic == NULL);
     34
     35	mpic_init(mpic);
     36}
     37
     38
     39/*
     40 * Setup the architecture
     41 */
     42static void __init p1010_rdb_setup_arch(void)
     43{
     44	if (ppc_md.progress)
     45		ppc_md.progress("p1010_rdb_setup_arch()", 0);
     46
     47	fsl_pci_assign_primary();
     48
     49	printk(KERN_INFO "P1010 RDB board from Freescale Semiconductor\n");
     50}
     51
     52machine_arch_initcall(p1010_rdb, mpc85xx_common_publish_devices);
     53
     54/*
     55 * Called very early, device-tree isn't unflattened
     56 */
     57static int __init p1010_rdb_probe(void)
     58{
     59	if (of_machine_is_compatible("fsl,P1010RDB"))
     60		return 1;
     61	if (of_machine_is_compatible("fsl,P1010RDB-PB"))
     62		return 1;
     63	return 0;
     64}
     65
     66define_machine(p1010_rdb) {
     67	.name			= "P1010 RDB",
     68	.probe			= p1010_rdb_probe,
     69	.setup_arch		= p1010_rdb_setup_arch,
     70	.init_IRQ		= p1010_rdb_pic_init,
     71#ifdef CONFIG_PCI
     72	.pcibios_fixup_bus	= fsl_pcibios_fixup_bus,
     73	.pcibios_fixup_phb      = fsl_pcibios_fixup_phb,
     74#endif
     75	.get_irq		= mpic_get_irq,
     76	.calibrate_decr		= generic_calibrate_decr,
     77	.progress		= udbg_progress,
     78};