4847 static inline void add64( mbedtls_mpi_uint *dst, mbedtls_mpi_uint *src, mbedtls_mpi_uint *carry )  in add64()  argument
4851     for( i = 0; i < 8 / sizeof( mbedtls_mpi_uint ); i++, dst++, src++ )  in add64()
4853         *dst += c;      c  = ( *dst < c );  in add64()
4854         *dst += *src;   c += ( *dst < *src );  in add64()
4860 static inline void carry64( mbedtls_mpi_uint *dst, mbedtls_mpi_uint *carry )  in carry64()  argument
4863     for( i = 0; i < 8 / sizeof( mbedtls_mpi_uint ); i++, dst++ )  in carry64()
4865         *dst += *carry;  in carry64()
4866         *carry  = ( *dst < *carry );  in carry64()
4952 static inline void add32( uint32_t *dst, uint32_t src, signed char *carry )  in add32()  argument
4954     *dst += src;  in add32()
4955     *carry += ( *dst < src );  in add32()
4958 static inline void sub32( uint32_t *dst, uint32_t src, signed char *carry )  in sub32()  argument
4960     *carry -= ( *dst < src );  in sub32()
4961     *dst -= src;  in sub32()