Lines Matching refs:subtract_u64
835 static void subtract_u64(u64 *result, u64 *carry, u64 v) in subtract_u64() function
895 subtract_u64(&out[0], &carry, result & kPrime[0]); in felem_contract()
896 subtract_u64(&out[1], &carry, carry); in felem_contract()
897 subtract_u64(&out[2], &carry, carry); in felem_contract()
898 subtract_u64(&out[3], &carry, carry); in felem_contract()
900 subtract_u64(&out[1], &carry, result & kPrime[1]); in felem_contract()
901 subtract_u64(&out[2], &carry, carry); in felem_contract()
902 subtract_u64(&out[3], &carry, carry); in felem_contract()
904 subtract_u64(&out[2], &carry, result & kPrime[2]); in felem_contract()
905 subtract_u64(&out[3], &carry, carry); in felem_contract()
907 subtract_u64(&out[3], &carry, result & kPrime[3]); in felem_contract()
