Symbol: big_cmp_abs_high
usr/src/common/bignum/bignumimpl.c
1129
while (big_cmp_abs_high(&tmp1, &bbhigh) >= 0) {
usr/src/common/bignum/bignumimpl.c
1139
while (big_cmp_abs_high(&tmp1, &bblow) >= 0) {