1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16#include <asm/machdep.h>
17#include <asm/pci-bridge.h>
18#include <asm/ppc4xx.h>
19#include <asm/prom.h>
20#include <asm/time.h>
21#include <asm/udbg.h>
22#include <asm/uic.h>
23
24#include <linux/init.h>
25#include <linux/of_platform.h>
26
27static __initdata struct of_device_id ppc40x_of_bus[] = {
28 { .compatible = "ibm,plb3", },
29 { .compatible = "ibm,plb4", },
30 { .compatible = "ibm,opb", },
31 { .compatible = "ibm,ebc", },
32 { .compatible = "simple-bus", },
33 {},
34};
35
36static int __init ppc40x_device_probe(void)
37{
38 of_platform_bus_probe(NULL, ppc40x_of_bus, NULL);
39
40 return 0;
41}
42machine_device_initcall(ppc40x_simple, ppc40x_device_probe);
43
44
45
46
47
48
49
50
51
52
53static char *board[] __initdata = {
54 "amcc,acadia",
55 "amcc,haleakala",
56 "amcc,kilauea",
57 "amcc,makalu",
58 "est,hotfoot"
59};
60
61static int __init ppc40x_probe(void)
62{
63 unsigned long root = of_get_flat_dt_root();
64 int i = 0;
65
66 for (i = 0; i < ARRAY_SIZE(board); i++) {
67 if (of_flat_dt_is_compatible(root, board[i])) {
68 ppc_pci_set_flags(PPC_PCI_REASSIGN_ALL_RSRC);
69 return 1;
70 }
71 }
72
73 return 0;
74}
75
76define_machine(ppc40x_simple) {
77 .name = "PowerPC 40x Platform",
78 .probe = ppc40x_probe,
79 .progress = udbg_progress,
80 .init_IRQ = uic_init_tree,
81 .get_irq = uic_get_irq,
82 .restart = ppc4xx_reset_system,
83 .calibrate_decr = generic_calibrate_decr,
84};
85