Symbol: s_mp_free
usr/src/common/mpi/mpi-priv.h
160
void s_mp_free(void *ptr, mp_size); /* general free function */
usr/src/common/mpi/mpi.c
243
s_mp_free(DIGITS(to), ALLOC(to));
usr/src/common/mpi/mpi.c
2806
s_mp_free(DIGITS(mp), ALLOC(mp));
usr/src/common/mpi/mpi.c
306
s_mp_free(DIGITS(mp), ALLOC(mp));