Symbol: MP_USE_UINT_DIGIT
usr/src/common/mpi/mpi.h
180
#undef MP_USE_UINT_DIGIT
usr/src/common/mpi/mpi.h
181
#define MP_USE_UINT_DIGIT 1