15 #include <linux/pci.h>
29 pr_err(
"bsc913x: Failed to allocate MPIC structure\n");
37 static void __init bsc913x_rdb_setup_arch(
void)
40 ppc_md.progress(
"bsc913x_rdb_setup_arch()", 0);
42 pr_info(
"bsc913x board from Freescale Semiconductor\n");
51 static int __init bsc9131_rdb_probe(
void)
53 unsigned long root = of_get_flat_dt_root();
55 return of_flat_dt_is_compatible(root,
"fsl,bsc9131rdb");
59 .name =
"BSC9131 RDB",
60 .probe = bsc9131_rdb_probe,
61 .setup_arch = bsc913x_rdb_setup_arch,
64 .restart = fsl_rstcr_restart,