1
2
3
4
5
6
7
8
9
10
11
12
13
14
15#include <linux/kernel.h>
16#include <linux/pci.h>
17#include <linux/of_platform.h>
18#include <linux/io.h>
19#include <asm/prom.h>
20#include <asm/time.h>
21#include <asm/ipic.h>
22#include <asm/udbg.h>
23#include <soc/fsl/qe/qe.h>
24#include <soc/fsl/qe/qe_ic.h>
25#include <sysdev/fsl_soc.h>
26#include <sysdev/fsl_pci.h>
27
28#include "mpc83xx.h"
29
30machine_device_initcall(mpc836x_rdk, mpc83xx_declare_of_platform_devices);
31
32static void __init mpc836x_rdk_setup_arch(void)
33{
34 if (ppc_md.progress)
35 ppc_md.progress("mpc836x_rdk_setup_arch()", 0);
36
37 mpc83xx_setup_pci();
38}
39
40
41
42
43static int __init mpc836x_rdk_probe(void)
44{
45 unsigned long root = of_get_flat_dt_root();
46
47 return of_flat_dt_is_compatible(root, "fsl,mpc8360rdk");
48}
49
50define_machine(mpc836x_rdk) {
51 .name = "MPC836x RDK",
52 .probe = mpc836x_rdk_probe,
53 .setup_arch = mpc836x_rdk_setup_arch,
54 .init_IRQ = mpc83xx_ipic_and_qe_init_IRQ,
55 .get_irq = ipic_get_irq,
56 .restart = mpc83xx_restart,
57 .time_init = mpc83xx_time_init,
58 .calibrate_decr = generic_calibrate_decr,
59 .progress = udbg_progress,
60};
61