1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * MPC8536 DS Board Setup
5 * Copyright 2008 Freescale Semiconductor, Inc.
8 #include <linux/stddef.h>
9 #include <linux/kernel.h>
10 #include <linux/pci.h>
11 #include <linux/kdev_t.h>
12 #include <linux/delay.h>
13 #include <linux/seq_file.h>
14 #include <linux/interrupt.h>
15 #include <linux/of_platform.h>
18 #include <asm/machdep.h>
19 #include <asm/pci-bridge.h>
20 #include <mm/mmu_decl.h>
24 #include <asm/swiotlb.h>
26 #include <sysdev/fsl_soc.h>
27 #include <sysdev/fsl_pci.h>
31 void __init
mpc8536_ds_pic_init(void)
33 struct mpic
*mpic
= mpic_alloc(NULL
, 0, MPIC_BIG_ENDIAN
,
40 * Setup the architecture
42 static void __init
mpc8536_ds_setup_arch(void)
45 ppc_md
.progress("mpc8536_ds_setup_arch()", 0);
47 fsl_pci_assign_primary();
51 printk("MPC8536 DS board from Freescale Semiconductor\n");
54 machine_arch_initcall(mpc8536_ds
, mpc85xx_common_publish_devices
);
57 * Called very early, device-tree isn't unflattened
59 static int __init
mpc8536_ds_probe(void)
61 return of_machine_is_compatible("fsl,mpc8536ds");
64 define_machine(mpc8536_ds
) {
66 .probe
= mpc8536_ds_probe
,
67 .setup_arch
= mpc8536_ds_setup_arch
,
68 .init_IRQ
= mpc8536_ds_pic_init
,
70 .pcibios_fixup_bus
= fsl_pcibios_fixup_bus
,
71 .pcibios_fixup_phb
= fsl_pcibios_fixup_phb
,
73 .get_irq
= mpic_get_irq
,
74 .calibrate_decr
= generic_calibrate_decr
,
75 .progress
= udbg_progress
,