@@ -26,6 +26,10 @@ struct arch_global_data {
unsigned long pllb_rate_hz;
unsigned long at91_pllb_usb_init;
#endif
+#ifdef CONFIG_SOC_FARADAY
+ unsigned long cpu_id;
+ unsigned long has_mmu;
+#endif
/* "static data" needed by most of timer.c on ARM platforms */
unsigned long timer_rate_hz;
unsigned long tbu;
@@ -90,6 +90,11 @@ static inline void mmu_setup(void)
int i;
u32 reg;
+#ifdef CONFIG_SOC_FARADAY
+ if (!gd->arch.has_mmu)
+ return;
+#endif
+
arm_init_before_mmu();
/* Set up an identity-mapping for all 4GB, rw for everyone */
for (i = 0; i < 4096; i++)