extern void set_gdbarch_record_special_symbol (struct gdbarch *gdbarch, gdbarch_record_special_symbol_ftype *record_special_symbol);
/* True if the list of shared libraries is one and only for all
- processes, as opposed to a list of shared libraries per inferior. */
+ processes, as opposed to a list of shared libraries per inferior.
+ When this property is true, GDB assumes that since shared libraries
+ are shared across processes, so is all code. Hence, GDB further
+ assumes an inserted breakpoint location is visible to all processes. */
extern int gdbarch_has_global_solist (struct gdbarch *gdbarch);
extern void set_gdbarch_has_global_solist (struct gdbarch *gdbarch, int has_global_solist);