17 #include <linux/stddef.h>
18 #include <linux/kernel.h>
20 #include <linux/errno.h>
21 #include <linux/reboot.h>
22 #include <linux/pci.h>
23 #include <linux/kdev_t.h>
33 #include <asm/pgtable.h>
38 #include <asm/machdep.h>
40 #include <asm/pci-bridge.h>
54 static void __init sbc8548_pic_init(
void)
63 static int __init sbc8548_hw_rev(
void)
72 printk(
"No HW-REV found in DTB.\n");
80 board_rev = (*rev) >> 28;
89 static void __init sbc8548_setup_arch(
void)
92 ppc_md.progress(
"sbc8548_setup_arch()", 0);
94 fsl_pci_assign_primary();
96 sbc_rev = sbc8548_hw_rev();
99 static void sbc8548_show_cpuinfo(
struct seq_file *
m)
101 uint pvid, svid, phid1;
104 svid =
mfspr(SPRN_SVR);
107 seq_printf(m,
"Machine\t\t: SBC8548 v%d\n", sbc_rev);
112 phid1 =
mfspr(SPRN_HID1);
113 seq_printf(m,
"PLL setting\t: 0x%x\n", ((phid1 >> 24) & 0x3f));
121 static int __init sbc8548_probe(
void)
123 unsigned long root = of_get_flat_dt_root();
125 return of_flat_dt_is_compatible(root,
"SBC8548");
130 .probe = sbc8548_probe,
131 .setup_arch = sbc8548_setup_arch,
132 .init_IRQ = sbc8548_pic_init,
133 .show_cpuinfo = sbc8548_show_cpuinfo,
135 .restart = fsl_rstcr_restart,
137 .pcibios_fixup_bus = fsl_pcibios_fixup_bus,