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 mpc83xx_setup_arch();
35}
36
37
38
39
40static int __init mpc836x_rdk_probe(void)
41{
42 return of_machine_is_compatible("fsl,mpc8360rdk");
43}
44
45define_machine(mpc836x_rdk) {
46 .name = "MPC836x RDK",
47 .probe = mpc836x_rdk_probe,
48 .setup_arch = mpc836x_rdk_setup_arch,
49 .discover_phbs = mpc83xx_setup_pci,
50 .init_IRQ = mpc83xx_ipic_and_qe_init_IRQ,
51 .get_irq = ipic_get_irq,
52 .restart = mpc83xx_restart,
53 .time_init = mpc83xx_time_init,
54 .calibrate_decr = generic_calibrate_decr,
55 .progress = udbg_progress,
56};
57