Lines Matching defs:dmax

1418     uint32 dmin, dmax;
1439         dmax = doubletop(imax, -8);
1446             dmax = 63 - n;
1448             dmax = 62 - n;
1449         dmax = (dmax << 20) + 0x3FF00000;
1450         dmin = dmax;
1475         out[2] = dmax - random_upto_biased(dmax-pmin, 10);
1508     uint32 dmin, dmax;
1529         dmax = floatval(imax, -8);
1536             dmax = 31 - n;
1538             dmax = 30 - n;
1539         dmax = (dmax << 23) + 0x3F800000;
1540         dmin = dmax;
1555         out[2] = dmax - random_upto_biased(dmax-pmin, 10);