0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013 #include <asm/machdep.h>
0014 #include <asm/pci-bridge.h>
0015 #include <asm/ppc4xx.h>
0016 #include <asm/time.h>
0017 #include <asm/udbg.h>
0018 #include <asm/uic.h>
0019
0020 #include <linux/init.h>
0021 #include <linux/of_platform.h>
0022
0023 static const struct of_device_id ppc40x_of_bus[] __initconst = {
0024 { .compatible = "ibm,plb3", },
0025 { .compatible = "ibm,plb4", },
0026 { .compatible = "ibm,opb", },
0027 { .compatible = "ibm,ebc", },
0028 { .compatible = "simple-bus", },
0029 {},
0030 };
0031
0032 static int __init ppc40x_device_probe(void)
0033 {
0034 of_platform_bus_probe(NULL, ppc40x_of_bus, NULL);
0035
0036 return 0;
0037 }
0038 machine_device_initcall(ppc40x_simple, ppc40x_device_probe);
0039
0040
0041
0042
0043
0044
0045
0046
0047
0048
0049 static const char * const board[] __initconst = {
0050 "amcc,acadia",
0051 "amcc,haleakala",
0052 "amcc,kilauea",
0053 "amcc,makalu",
0054 "apm,klondike",
0055 "est,hotfoot",
0056 "plathome,obs600",
0057 NULL
0058 };
0059
0060 static int __init ppc40x_probe(void)
0061 {
0062 if (of_device_compatible_match(of_root, board)) {
0063 pci_set_flags(PCI_REASSIGN_ALL_RSRC);
0064 return 1;
0065 }
0066
0067 return 0;
0068 }
0069
0070 define_machine(ppc40x_simple) {
0071 .name = "PowerPC 40x Platform",
0072 .probe = ppc40x_probe,
0073 .progress = udbg_progress,
0074 .init_IRQ = uic_init_tree,
0075 .get_irq = uic_get_irq,
0076 .restart = ppc4xx_reset_system,
0077 .calibrate_decr = generic_calibrate_decr,
0078 };