Re: mips_m4k watchpoint issue.

[Tommy Murphy]

Did you try patching it locally like that and testing it?
Did it work as expected for setting and unsetting the watchpoint?
If so, it might be worth submitting that as a patch/PR via the normal OpenOCD 
process?