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