Editing: hw_breakpoint.h