dbl_fmpy
int dbl_fmpy(dbl_floating_point *, dbl_floating_point *, dbl_floating_point*, unsigned int *);
return(dbl_fmpy(&fpregs[r1],&fpregs[r2],
return(dbl_fmpy(&fpregs[r1],
if (dbl_fmpy(&fpregs[rm1],&fpregs[rm2],(unsigned *) &mtmp,
if (dbl_fmpy(&fpregs[rm1],&fpregs[rm2],(unsigned *) &mtmp,
if (dbl_fmpy(&fpregs[rm1],&fpregs[rm2],(unsigned *) &mtmp,