HomeSort by: relevance | last modified time | path
    Searched refs:set_gdbarch_record_special_symbol (Results 1 - 6 of 6) sorted by relevancy

  /src/external/gpl3/gdb.old/dist/gdb/
gdbarch-gen.h 1322 extern void set_gdbarch_record_special_symbol (struct gdbarch *gdbarch, gdbarch_record_special_symbol_ftype *record_special_symbol);
gdbarch-gen.c 4566 set_gdbarch_record_special_symbol (struct gdbarch *gdbarch, function
arm-tdep.c 10809 set_gdbarch_record_special_symbol (gdbarch, arm_record_special_symbol);
  /src/external/gpl3/gdb/dist/gdb/
gdbarch-gen.h 1331 extern void set_gdbarch_record_special_symbol (struct gdbarch *gdbarch, gdbarch_record_special_symbol_ftype *record_special_symbol);
gdbarch-gen.c 4596 set_gdbarch_record_special_symbol (struct gdbarch *gdbarch, function
arm-tdep.c 10812 set_gdbarch_record_special_symbol (gdbarch, arm_record_special_symbol);

Completed in 67 milliseconds