/* Process record and replay target for GDB, the GNU debugger.
- Copyright (C) 2008-2017 Free Software Foundation, Inc.
+ Copyright (C) 2008-2018 Free Software Foundation, Inc.
This file is part of GDB.
#include "common/enum-flags.h"
struct cmd_list_element;
+struct inferior;
extern unsigned int record_debug;
otherwise. */
extern int
- record_check_stopped_by_breakpoint (struct address_space *aspace,
+ record_check_stopped_by_breakpoint (const address_space *aspace,
CORE_ADDR pc,
enum target_stop_reason *reason);
extern void record_disconnect (struct target_ops *, const char *, int);
/* The default "to_detach" target method for record targets. */
-extern void record_detach (struct target_ops *, const char *, int);
+extern void record_detach (struct target_ops *, inferior *, int);
/* The default "to_mourn_inferior" target method for record targets. */
extern void record_mourn_inferior (struct target_ops *);