X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=src%2Fpld%2Fvirtex2.c;h=8407d59e902266db1b9120fa316802db24558299;hp=1f063a0ad925dc0b89c61d3ed84ca3965ff8bc27;hb=245b0213f56241fb151260bbd4eda1dec71ddd7a;hpb=836b6c18f08d8a6c123224f9f21bb6d98900cfa1

diff --git a/src/pld/virtex2.c b/src/pld/virtex2.c
index 1f063a0ad9..8407d59e90 100644
--- a/src/pld/virtex2.c
+++ b/src/pld/virtex2.c
@@ -138,7 +138,7 @@ static int virtex2_read_stat(struct pld_device_s *pld_device, uint32_t *status)
 
 	jtag_execute_queue();
 
-	LOG_DEBUG("status: 0x%8.8x", *status);
+	LOG_DEBUG("status: 0x%8.8" PRIx32 "", *status);
 
 	return ERROR_OK;
 }
@@ -213,7 +213,7 @@ static int virtex2_handle_read_stat_command(struct command_context_s *cmd_ctx,
 
 	virtex2_read_stat(device, &status);
 
-	command_print(cmd_ctx, "virtex2 status register: 0x%8.8x", status);
+	command_print(cmd_ctx, "virtex2 status register: 0x%8.8" PRIx32 "", status);
 
 	return ERROR_OK;
 }