|
@@ -127,9 +127,7 @@ static inline void local_irq_disable(void)
|
|
((__typeof__(*(ptr)))__xchg_local((unsigned long)(x), (ptr), \
|
|
((__typeof__(*(ptr)))__xchg_local((unsigned long)(x), (ptr), \
|
|
sizeof(*(ptr))))
|
|
sizeof(*(ptr))))
|
|
|
|
|
|
-#ifdef CONFIG_SMP
|
|
|
|
extern void __xchg_called_with_bad_pointer(void);
|
|
extern void __xchg_called_with_bad_pointer(void);
|
|
-#endif
|
|
|
|
|
|
|
|
#ifdef CONFIG_CHIP_M32700_TS1
|
|
#ifdef CONFIG_CHIP_M32700_TS1
|
|
#define DCACHE_CLEAR(reg0, reg1, addr) \
|
|
#define DCACHE_CLEAR(reg0, reg1, addr) \
|
|
@@ -189,9 +187,9 @@ __xchg(unsigned long x, volatile void *ptr, int size)
|
|
#endif /* CONFIG_CHIP_M32700_TS1 */
|
|
#endif /* CONFIG_CHIP_M32700_TS1 */
|
|
);
|
|
);
|
|
break;
|
|
break;
|
|
|
|
+#endif /* CONFIG_SMP */
|
|
default:
|
|
default:
|
|
__xchg_called_with_bad_pointer();
|
|
__xchg_called_with_bad_pointer();
|
|
-#endif /* CONFIG_SMP */
|
|
|
|
}
|
|
}
|
|
|
|
|
|
local_irq_restore(flags);
|
|
local_irq_restore(flags);
|