16 #include <linux/stddef.h>
17 #include <linux/kernel.h>
18 #include <linux/pci.h>
19 #include <linux/kdev_t.h>
25 #include <asm/machdep.h>
26 #include <asm/pci-bridge.h>
39 sbc8641_setup_arch(
void)
42 ppc_md.progress(
"sbc8641_setup_arch()", 0);
44 printk(
"SBC8641 board from Wind River\n");
50 fsl_pci_assign_primary();
59 seq_printf(m,
"Vendor\t\t: Wind River Systems\n");
68 static int __init sbc8641_probe(
void)
70 unsigned long root = of_get_flat_dt_root();
72 if (of_flat_dt_is_compatible(root,
"wind,sbc8641"))
79 mpc86xx_time_init(
void)
87 temp =
mfspr(SPRN_HID0);
89 mtspr(SPRN_HID0, temp);
90 asm volatile(
"isync");
96 { .compatible =
"simple-bus", },
97 { .compatible =
"gianfar", },
98 { .compatible =
"fsl,mpc8641-pcie", },
102 static int __init declare_of_platform_devices(
void)
104 of_platform_bus_probe(
NULL, of_bus_ids,
NULL);
112 .probe = sbc8641_probe,
113 .setup_arch = sbc8641_setup_arch,
115 .show_cpuinfo = sbc8641_show_cpuinfo,
117 .restart = fsl_rstcr_restart,
118 .time_init = mpc86xx_time_init,
122 .pcibios_fixup_bus = fsl_pcibios_fixup_bus,