|
@@ -103,7 +103,11 @@ static inline void arch_kgdb_breakpoint(void)
|
|
|
asm("EXCPT 2;");
|
|
|
}
|
|
|
#define BREAK_INSTR_SIZE 2
|
|
|
-#define CACHE_FLUSH_IS_SAFE 1
|
|
|
+#ifdef CONFIG_SMP
|
|
|
+# define CACHE_FLUSH_IS_SAFE 0
|
|
|
+#else
|
|
|
+# define CACHE_FLUSH_IS_SAFE 1
|
|
|
+#endif
|
|
|
#define HW_INST_WATCHPOINT_NUM 6
|
|
|
#define HW_WATCHPOINT_NUM 8
|
|
|
#define TYPE_INST_WATCHPOINT 0
|