Searched refs:double_format (Results 1 – 2 of 2) sorted by relevance
237 const struct floatformat * double_format; member708 if (current_gdbarch->double_format == 0) in verify_gdbarch()709 current_gdbarch->double_format = default_double_format (current_gdbarch); in verify_gdbarch()4870 return gdbarch->double_format; in gdbarch_double_format()4875 const struct floatformat * double_format) in set_gdbarch_double_format() argument4877 gdbarch->double_format = double_format; in set_gdbarch_double_format()
1966 …void set_gdbarch_double_format (struct gdbarch *gdbarch, const struct floatformat * double_format);