|
@@ -80,7 +80,8 @@ static inline void hw_breakpoint_disable(void)
|
|
brk.address = 0;
|
|
brk.address = 0;
|
|
brk.type = 0;
|
|
brk.type = 0;
|
|
brk.len = 0;
|
|
brk.len = 0;
|
|
- __set_breakpoint(&brk);
|
|
|
|
|
|
+ if (ppc_breakpoint_available())
|
|
|
|
+ __set_breakpoint(&brk);
|
|
}
|
|
}
|
|
extern void thread_change_pc(struct task_struct *tsk, struct pt_regs *regs);
|
|
extern void thread_change_pc(struct task_struct *tsk, struct pt_regs *regs);
|
|
int hw_breakpoint_handler(struct die_args *args);
|
|
int hw_breakpoint_handler(struct die_args *args);
|