Searched refs:double_bit (Results 1 – 2 of 2) sorted by relevance
123 int double_bit; member473 current_gdbarch->double_bit = 8*TARGET_CHAR_BIT; in gdbarch_alloc()2572 return gdbarch->double_bit; in gdbarch_double_bit()2577 int double_bit) in set_gdbarch_double_bit() argument2579 gdbarch->double_bit = double_bit; in set_gdbarch_double_bit()
158 extern void set_gdbarch_double_bit (struct gdbarch *gdbarch, int double_bit);