Symbol: conv_i32_to_d16
usr/src/common/bignum/bignum.h
123
void conv_i32_to_d16(double *d16, uint32_t *i32, int len);
usr/src/common/bignum/bignumimpl.c
2162
conv_i32_to_d16(apowers[i], prod, nlen);