Searched defs:record_special_symbol (Results 1 – 1 of 1) sorted by relevance
264 gdbarch_record_special_symbol_ftype *record_special_symbol; member3912 gdbarch_record_special_symbol_ftype record_special_symbol) in set_gdbarch_record_special_symbol()