--- qemu/target-arm/nwfpe/fpa11_cprt.c	2018/04/24 16:37:52	1.1.1.1
+++ qemu/target-arm/nwfpe/fpa11_cprt.c	2018/04/24 16:43:07	1.1.1.2
@@ -133,7 +133,7 @@ unsigned int PerformFIX(const unsigned i
 
       case typeDouble:
       {
-         //printf("F%d is 0x%llx\n",Fn,fpa11->fpreg[Fn].fDouble);
+         //printf("F%d is 0x%" PRIx64 "\n",Fn,fpa11->fpreg[Fn].fDouble);
          writeRegister(getRd(opcode),
 	               float64_to_int32(fpa11->fpreg[Fn].fDouble, &fpa11->fp_status));
       }