15 #include <linux/stddef.h>
16 #include <linux/kernel.h>
17 #include <linux/pci.h>
18 #include <linux/kdev_t.h>
24 #include <asm/machdep.h>
25 #include <asm/pci-bridge.h>
39 #define KSI8560_CPLD_HVR 0x04
40 #define KSI8560_CPLD_PVR 0x08
41 #define KSI8560_CPLD_RCR1 0x30
43 #define KSI8560_CPLD_RCR1_CPUHR 0x80
57 static void __init ksi8560_pic_init(
void)
64 mpc85xx_cpm2_pic_init();
106 static void __init init_ioports(
void)
110 for (i = 0; i <
ARRAY_SIZE(ksi8560_pins); i++) {
127 static void __init ksi8560_setup_arch(
void)
138 ppc_md.progress(
"ksi8560_setup_arch()", 0);
146 static void ksi8560_show_cpuinfo(
struct seq_file *
m)
148 uint pvid, svid, phid1;
151 svid =
mfspr(SPRN_SVR);
153 seq_printf(m,
"Vendor\t\t: Emerson Network Power\n");
162 seq_printf(m,
"Unknown Hardware and CPLD revs\n");
168 phid1 =
mfspr(SPRN_HID1);
169 seq_printf(m,
"PLL setting\t: 0x%x\n", ((phid1 >> 24) & 0x3f));
177 static int __init ksi8560_probe(
void)
179 unsigned long root = of_get_flat_dt_root();
181 return of_flat_dt_is_compatible(root,
"emerson,KSI8560");
186 .probe = ksi8560_probe,
187 .setup_arch = ksi8560_setup_arch,
188 .init_IRQ = ksi8560_pic_init,
189 .show_cpuinfo = ksi8560_show_cpuinfo,