|
@@ -259,15 +259,17 @@ int kgdb_arch_set_breakpoint(struct kgdb_bkpt *bpt)
|
|
|
if (err)
|
|
|
return err;
|
|
|
|
|
|
- patch_text((void *)bpt->bpt_addr,
|
|
|
- *(unsigned int *)arch_kgdb_ops.gdb_bpt_instr);
|
|
|
+ /* Machine is already stopped, so we can use __patch_text() directly */
|
|
|
+ __patch_text((void *)bpt->bpt_addr,
|
|
|
+ *(unsigned int *)arch_kgdb_ops.gdb_bpt_instr);
|
|
|
|
|
|
return err;
|
|
|
}
|
|
|
|
|
|
int kgdb_arch_remove_breakpoint(struct kgdb_bkpt *bpt)
|
|
|
{
|
|
|
- patch_text((void *)bpt->bpt_addr, *(unsigned int *)bpt->saved_instr);
|
|
|
+ /* Machine is already stopped, so we can use __patch_text() directly */
|
|
|
+ __patch_text((void *)bpt->bpt_addr, *(unsigned int *)bpt->saved_instr);
|
|
|
|
|
|
return 0;
|
|
|
}
|