int delete_gdb_breakpoint_at (CORE_ADDR addr);
+/* Delete a breakpoint. */
+
+int delete_breakpoint (struct breakpoint *bkpt);
+
/* Set a reinsert breakpoint at STOP_AT. */
void set_reinsert_breakpoint (CORE_ADDR stop_at);
void free_all_breakpoints (struct process_info *proc);
+/* Check if breakpoints still seem to be inserted in the inferior. */
+
+void validate_breakpoints (void);
+
#endif /* MEM_BREAK_H */