4832 static inline void add64(mbedtls_mpi_uint *dst, mbedtls_mpi_uint *src, mbedtls_mpi_uint *carry)  in add64()  argument
4836     for (i = 0; i < 8 / sizeof(mbedtls_mpi_uint); i++, dst++, src++) {  in add64()
4837         *dst += c;      c  = (*dst < c);  in add64()
4838         *dst += *src;   c += (*dst < *src);  in add64()
4844 static inline void carry64(mbedtls_mpi_uint *dst, mbedtls_mpi_uint *carry)  in carry64()  argument
4847     for (i = 0; i < 8 / sizeof(mbedtls_mpi_uint); i++, dst++) {  in carry64()
4848         *dst += *carry;  in carry64()
4849         *carry  = (*dst < *carry);  in carry64()
4935 static inline void add32(uint32_t *dst, uint32_t src, signed char *carry)  in add32()  argument
4937     *dst += src;  in add32()
4938     *carry += (*dst < src);  in add32()
4941 static inline void sub32(uint32_t *dst, uint32_t src, signed char *carry)  in sub32()  argument
4943     *carry -= (*dst < src);  in sub32()
4944     *dst -= src;  in sub32()