|
@@ -31,6 +31,7 @@
|
|
|
#include <linux/of_platform.h>
|
|
|
#include <sysdev/fsl_soc.h>
|
|
|
#include <sysdev/fsl_pci.h>
|
|
|
+#include "smp.h"
|
|
|
|
|
|
void __init corenet_ds_pic_init(void)
|
|
|
{
|
|
@@ -65,10 +66,6 @@ void __init corenet_ds_pic_init(void)
|
|
|
/*
|
|
|
* Setup the architecture
|
|
|
*/
|
|
|
-#ifdef CONFIG_SMP
|
|
|
-void __init mpc85xx_smp_init(void);
|
|
|
-#endif
|
|
|
-
|
|
|
void __init corenet_ds_setup_arch(void)
|
|
|
{
|
|
|
#ifdef CONFIG_PCI
|
|
@@ -77,9 +74,7 @@ void __init corenet_ds_setup_arch(void)
|
|
|
#endif
|
|
|
dma_addr_t max = 0xffffffff;
|
|
|
|
|
|
-#ifdef CONFIG_SMP
|
|
|
mpc85xx_smp_init();
|
|
|
-#endif
|
|
|
|
|
|
#ifdef CONFIG_PCI
|
|
|
for_each_node_by_type(np, "pci") {
|