> +#ifdef CONFIG_PPC_PSERIES > +#include <asm/rtas.h> > +#include <asm/kdump.h> > +#include <asm/smp.h> > +#include <asm/iommu.h> > +#include <asm/btext.h> > +#include <asm/machdep.h> > +#include <asm/pSeries_reconfig.h> > +#include <asm/phyp_dump.h> > +#include <asm/kexec.h> > +#endif I don't think we need CONFIG_PPC_PSERIES (multiple times) > +#ifdef CONFIG_PPC64 > +int __initdata iommu_is_off; > +int __initdata iommu_force_on; > +unsigned long tce_alloc_start, tce_alloc_end; > +#endif or PPC64 (multiple times > +#ifdef CONFIG_PPC32 or PPC32 Steve -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html