jtag_execute_queue();
- LOG_DEBUG("status: 0x%8.8x", *status);
+ LOG_DEBUG("status: 0x%8.8" PRIx32 "", *status);
return ERROR_OK;
}
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;
}