mpz_mul_2exp     2796 lib/mini-gmp.c   mpz_mul_2exp (g, g, gz);
mpz_mul_2exp     2879 lib/mini-gmp.c   mpz_mul_2exp (t1, t1, uz);
mpz_mul_2exp     2910 lib/mini-gmp.c 	      mpz_mul_2exp (t1, t1, shift);
mpz_mul_2exp     2911 lib/mini-gmp.c 	      mpz_mul_2exp (s1, s1, shift);
mpz_mul_2exp     2920 lib/mini-gmp.c 	      mpz_mul_2exp (t0, t0, shift);
mpz_mul_2exp     2921 lib/mini-gmp.c 	      mpz_mul_2exp (s0, s0, shift);
mpz_mul_2exp     2932 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);