61   fprintf(file, "0x%08lx, 0x%08lx", (unsigned long) bits.parts.msw, (unsigned long) bits.parts.lsw);  in translate_to()
67            uint32_t lsw, volatile double *r);
117   thedouble(p->qs[id].msw, p->qs[id].lsw, &correct.value);  in ffcheck_id()
146 	   (unsigned long) correct.parts.lsw,  in ffcheck_id()
148 	   (unsigned long) isbits.parts.lsw,  in ffcheck_id()
200   thedouble(p->qs[id].msw,p->qs[id].lsw, &correct_double.value);  in fffcheck_id()
234 	   (unsigned long) (uint32_t) is_double.parts.lsw);  in fffcheck_id()
276   uint32_t lsw, volatile double *r)  in thedouble()  argument
281   x.parts.lsw = lsw;  in thedouble()
330     translate_to(f, thedouble(p->qs[0].msw, p->qs[0].lsw, NULL));  in frontline()
335   fprintf(f,"0x%08lx, 0x%08lx", (unsigned long) p->qs[1].msw, (unsigned long) p->qs[1].lsw);  in frontline()
341     fprintf(f,"0x%08lx, 0x%08lx", (unsigned long) p->qs[2].msw, (unsigned long) p->qs[2].lsw);  in frontline()
345   	  thedouble(p->qs[1].msw, p->qs[1].lsw, NULL));  in frontline()
349     fprintf(f,", %g", thedouble(p->qs[2].msw,p->qs[2].lsw, NULL));  in frontline()
403     p->qs[2].lsw = result2_double.parts.lsw;  in finish2()
457     p->qs[2].lsw = result2_double.parts.lsw;  in ffinish2()
542     thedouble(p->qs[1].msw, p->qs[1].lsw, &arg1);  in run_vector_1()
544     thedouble(p->qs[2].msw, p->qs[2].lsw, &arg2);  in run_vector_1()