From 68a6812a4176c34874afca3dcdfb04af44487237 Mon Sep 17 00:00:00 2001
From: Tim Newsome <tim@sifive.com>
Date: Fri, 2 Mar 2018 18:28:05 -0800
Subject: [PATCH] Use TARGET_PRIxADDR instead of PRIx64.

Change-Id: Iaf71a2d767ff4876b4cf1c9d546744ec6f97dda2
---
 src/target/riscv/riscv-013.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/target/riscv/riscv-013.c b/src/target/riscv/riscv-013.c
index 2c039e5d3..f08afff23 100644
--- a/src/target/riscv/riscv-013.c
+++ b/src/target/riscv/riscv-013.c
@@ -2158,7 +2158,7 @@ static int write_memory_bus_v0(struct target *target, target_addr_t address,
 {
 	/*1) write sbaddress: for singlewrite and autoincrement, we need to write the address once*/
 	LOG_DEBUG("System Bus Access: size: %d\tcount:%d\tstart address: 0x%08"
-			PRIx64, size, count, address);
+			TARGET_PRIxADDR, size, count, address);
 	dmi_write(target, DMI_SBADDRESS0, address);
 	int64_t value = 0;
 	int64_t access = 0;