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