diff options
Diffstat (limited to 'gdb/gdbarch.h')
| -rw-r--r-- | gdb/gdbarch.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gdb/gdbarch.h b/gdb/gdbarch.h index a2aa83a..7efcabc 100644 --- a/gdb/gdbarch.h +++ b/gdb/gdbarch.h @@ -42,6 +42,7 @@ struct ui_file; struct frame_info; struct value; struct objfile; +struct obj_section; struct minimal_symbol; struct regcache; struct reggroup; @@ -1345,6 +1346,14 @@ typedef void (gdbarch_skip_permanent_breakpoint_ftype) (struct regcache *regcach extern void gdbarch_skip_permanent_breakpoint (struct gdbarch *gdbarch, struct regcache *regcache); extern void set_gdbarch_skip_permanent_breakpoint (struct gdbarch *gdbarch, gdbarch_skip_permanent_breakpoint_ftype *skip_permanent_breakpoint); +/* Refresh overlay mapped state for section OSECT. */ + +extern int gdbarch_overlay_update_p (struct gdbarch *gdbarch); + +typedef void (gdbarch_overlay_update_ftype) (struct obj_section *osect); +extern void gdbarch_overlay_update (struct gdbarch *gdbarch, struct obj_section *osect); +extern void set_gdbarch_overlay_update (struct gdbarch *gdbarch, gdbarch_overlay_update_ftype *overlay_update); + extern struct gdbarch_tdep *gdbarch_tdep (struct gdbarch *gdbarch); |