lib/libmp/mp.h

18

void mp_mfree(MINT *);

lib/libmp/tests/legacy_test.c

113

mp_mfree(t2);

lib/libmp/tests/legacy_test.c

119

mp_mfree(t2);

lib/libmp/tests/legacy_test.c

190

mp_mfree(c0);

lib/libmp/tests/legacy_test.c

191

mp_mfree(c1);

lib/libmp/tests/legacy_test.c

192

mp_mfree(c2);

lib/libmp/tests/legacy_test.c

193

mp_mfree(c3);

lib/libmp/tests/legacy_test.c

194

mp_mfree(c5);

lib/libmp/tests/legacy_test.c

195

mp_mfree(c6);

lib/libmp/tests/legacy_test.c

196

mp_mfree(c8);

lib/libmp/tests/legacy_test.c

197

mp_mfree(c10);

lib/libmp/tests/legacy_test.c

198

mp_mfree(c14);

lib/libmp/tests/legacy_test.c

199

mp_mfree(c15);

lib/libmp/tests/legacy_test.c

200

mp_mfree(c25);

lib/libmp/tests/legacy_test.c

201

mp_mfree(c42);

lib/libmp/tests/legacy_test.c

202

mp_mfree(c43);

lib/libmp/tests/legacy_test.c

203

mp_mfree(c44);

lib/libmp/tests/legacy_test.c

204

mp_mfree(c45);

lib/libmp/tests/legacy_test.c

205

mp_mfree(t0);

lib/libmp/tests/legacy_test.c

206

mp_mfree(t1);

lib/libmp/tests/legacy_test.c

72

mp_mfree(t2);