12 #include <linux/kernel.h>
13 #include <linux/pci.h>
15 #include <asm/machdep.h>
30 static int __init p5040_ds_probe(
void)
32 unsigned long root = of_get_flat_dt_root();
37 if (of_flat_dt_is_compatible(root,
"fsl,P5040DS"))
41 if (of_flat_dt_is_compatible(root,
"fsl,P5040DS-hv")) {
63 .probe = p5040_ds_probe,
67 .pcibios_fixup_bus = fsl_pcibios_fixup_bus,
75 .restart = fsl_rstcr_restart,
79 .power_save = book3e_idle,
81 .power_save = e500_idle,