23 #include <linux/stddef.h>
24 #include <linux/kernel.h>
25 #include <linux/pci.h>
26 #include <linux/kdev_t.h>
32 #include <asm/machdep.h>
33 #include <asm/pci-bridge.h>
48 static void __init stx_gp3_pic_init(
void)
55 mpc85xx_cpm2_pic_init();
61 static void __init stx_gp3_setup_arch(
void)
64 ppc_md.progress(
"stx_gp3_setup_arch()", 0);
66 fsl_pci_assign_primary();
73 static void stx_gp3_show_cpuinfo(
struct seq_file *
m)
75 uint pvid, svid, phid1;
78 svid =
mfspr(SPRN_SVR);
80 seq_printf(m,
"Vendor\t\t: RPC Electronics STx\n");
85 phid1 =
mfspr(SPRN_HID1);
86 seq_printf(m,
"PLL setting\t: 0x%x\n", ((phid1 >> 24) & 0x3f));
94 static int __init stx_gp3_probe(
void)
96 unsigned long root = of_get_flat_dt_root();
98 return of_flat_dt_is_compatible(root,
"stx,gp3-8560");
103 .probe = stx_gp3_probe,
104 .setup_arch = stx_gp3_setup_arch,
105 .init_IRQ = stx_gp3_pic_init,
106 .show_cpuinfo = stx_gp3_show_cpuinfo,
108 .restart = fsl_rstcr_restart,