Searched refs:v_2548X (Results 1 – 2 of 2) sorted by relevance
6604 char v_2548X; in s48_restart() local20501 v_2548X = s48_bignum_fits_in_word_p(external_bignum_2547X, 62, 1); in s48_restart()20502 if (v_2548X) { in s48_restart()
6604 char v_2548X; in s48_restart() local20501 v_2548X = s48_bignum_fits_in_word_p(external_bignum_2547X, 30, 1); in s48_restart()20502 if (v_2548X) { in s48_restart()