Symbol: s_mp_todigit
usr/src/common/mpi/mpi-priv.h
239
char s_mp_todigit(mp_digit val, int r, int low); /* convert val to digit */
usr/src/common/mpi/mpi.c
2711
ch = s_mp_todigit(rem, radix, 0);