Searched refs:x_403X (Results 1 – 2 of 2) sorted by relevance
2296 char * x_403X; in Hinteger_op8662() local2333 x_403X = arg3K0; in Hinteger_op8662()2345 external_bignum_407X = (char *)s48_bignum_remainder(x_403X, y_406X); in Hinteger_op8662()