Similar to what I did in gdbarch.sh/gdbarch.c, this patch uses host_address_to_string to transform addresses into strings, rather than printing them as longs... 2009-01-07 Joel Brobecker * arch-utils.c (gdbarch_update_p): Use host_address_to_string to print the address of the gdbarch pointer. Tested on x86-linux. Will commit at the same time as the gdbarch.sh patch if there are no objections. -- Joel