|
@@ -773,10 +773,11 @@ extern void __put_user_unaligned_unknown(void);
|
|
"jal\t" #destination "\n\t"
|
|
"jal\t" #destination "\n\t"
|
|
#endif
|
|
#endif
|
|
|
|
|
|
-#ifndef CONFIG_CPU_DADDI_WORKAROUNDS
|
|
|
|
-#define DADDI_SCRATCH "$0"
|
|
|
|
-#else
|
|
|
|
|
|
+#if defined(CONFIG_CPU_DADDI_WORKAROUNDS) || (defined(CONFIG_EVA) && \
|
|
|
|
+ defined(CONFIG_CPU_HAS_PREFETCH))
|
|
#define DADDI_SCRATCH "$3"
|
|
#define DADDI_SCRATCH "$3"
|
|
|
|
+#else
|
|
|
|
+#define DADDI_SCRATCH "$0"
|
|
#endif
|
|
#endif
|
|
|
|
|
|
extern size_t __copy_user(void *__to, const void *__from, size_t __n);
|
|
extern size_t __copy_user(void *__to, const void *__from, size_t __n);
|