X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=src%2Ftarget%2Favr32_ap7k.c;h=70af8c3ed5615db120bb8471febc7d4f5d3abbf7;hp=12bea667574301b92733767e7e9416b0c7c941fa;hb=13f6c889ab9b6e5b1c4f48fca9807fdc1fb83f42;hpb=32ac9c0144f7aa7233b941bf78139eef8332fbc2

diff --git a/src/target/avr32_ap7k.c b/src/target/avr32_ap7k.c
index 12bea66757..70af8c3ed5 100644
--- a/src/target/avr32_ap7k.c
+++ b/src/target/avr32_ap7k.c
@@ -544,7 +544,7 @@ static int avr32_ap7k_examine(struct target *target)
 	if (!target_was_examined(target)) {
 		target_set_examined(target);
 		avr32_jtag_nexus_read(&ap7k->jtag, AVR32_OCDREG_DID, &devid);
-		LOG_INFO("device id: %08x", devid);
+		LOG_INFO("device id: %08" PRIx32, devid);
 		avr32_ocd_setbits(&ap7k->jtag, AVR32_OCDREG_DC, OCDREG_DC_DBE);
 		avr32_jtag_nexus_read(&ap7k->jtag, AVR32_OCDREG_DS, &ds);