--- 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:45:21	1.1.1.3
@@ -27,10 +27,6 @@
 //#include "fpmodule.h"
 //#include "fpmodule.inl"
 
-extern flag floatx80_is_nan(floatx80);
-extern flag float64_is_nan( float64);
-extern flag float32_is_nan( float32);
-
 void SetRoundingMode(const unsigned int opcode);
 
 unsigned int PerformFLT(const unsigned int opcode);
@@ -133,7 +129,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));
       }