- printf_filtered ("%s\t: 0x%08x .. 0x%08x ",
- section_name, (int) addr, (int) addr + size);
+ /* Both GDB and BFD have mechanisms for printing addresses.
+ In the below, GDB's is used so that the address is
+ consistent with the rest of GDB. BFD's printf_vma() could
+ have also been used. cagney 1999-09-01 */
+ printf_filtered ("%s\t: %s .. %s ",
+ section_name,
+ paddress (target_gdbarch (), addr),
+ paddress (target_gdbarch (), addr + size));