* dcache.c (dcache_print_line, dcache_info): Use paddress to print addresses.

diff --git a/gdb/dcache.c b/gdb/dcache.c
index 08e0addebf763e2843bb428ab9144caec0b760d2..17c948a4d200c96f7ae94cc6d8e4a1408160026b 100644 (file)
--- a/gdb/dcache.c
+++ b/gdb/dcache.c
@@ -437,8 +437,8 @@ dcache_print_line (int index)
     
   db = (struct dcache_block *) n->value;
 
-  printf_filtered (_("Line %d: address %lx [%d hits]\n"),
-                 index, db->addr, db->refs);
+  printf_filtered (_("Line %d: address %s [%d hits]\n"),
+                  index, paddress (target_gdbarch, db->addr), db->refs);
 
   for (j = 0; j < LINE_SIZE; j++)
     {
@@ -489,8 +489,8 @@ dcache_info (char *exp, int tty)
     {
       struct dcache_block *db = (struct dcache_block *) n->value;
 
-      printf_filtered (_("Line %d: address %lx [%d hits]\n"),
-                      i, db->addr, db->refs);
+      printf_filtered (_("Line %d: address %s [%d hits]\n"),
+                      i, paddress (target_gdbarch, db->addr), db->refs);
       i++;
       refcount += db->refs;