mpz_mul_2exp     2803 lib/mini-gmp.c   mpz_mul_2exp (g, g, gz);
mpz_mul_2exp     2886 lib/mini-gmp.c   mpz_mul_2exp (t1, t1, uz);
mpz_mul_2exp     2917 lib/mini-gmp.c 	      mpz_mul_2exp (t1, t1, shift);
mpz_mul_2exp     2918 lib/mini-gmp.c 	      mpz_mul_2exp (s1, s1, shift);
mpz_mul_2exp     2927 lib/mini-gmp.c 	      mpz_mul_2exp (t0, t0, shift);
mpz_mul_2exp     2928 lib/mini-gmp.c 	      mpz_mul_2exp (s0, s0, shift);
mpz_mul_2exp     2939 lib/mini-gmp.c   mpz_mul_2exp (tv, tv, gz);
mpz_mul_2exp      155 lib/mini-gmp.h void mpz_mul_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
mpz_mul_2exp      345 src/bignum.c     mpz_mul_2exp (rop, op1, op2);
mpz_mul_2exp      630 src/timefns.c        mpz_mul_2exp (mpz[1], *d, - (scale * LOG2_FLT_RADIX));
mpz_mul_2exp      638 src/timefns.c        mpz_mul_2exp (mpz[0], *n, scale * LOG2_FLT_RADIX);
mpz_mul_2exp      661 src/timefns.c        mpz_mul_2exp (*r, *r, 1);