Symbol: mp_min
usr/src/head/mp.h
56
extern int mp_min(MINT *);
usr/src/lib/libmp/common/old_mp.c
39
int min(MINT *a) { return (mp_min(a)); }