799 static inline void add64( mbedtls_mpi_uint *dst, mbedtls_mpi_uint *src, mbedtls_mpi_uint *carry )  in add64()  argument
803     for( i = 0; i < 8 / sizeof( mbedtls_mpi_uint ); i++, dst++, src++ )  in add64()
805         *dst += c;      c  = ( *dst < c );  in add64()
806         *dst += *src;   c += ( *dst < *src );  in add64()
812 static inline void carry64( mbedtls_mpi_uint *dst, mbedtls_mpi_uint *carry )  in carry64()  argument
815     for( i = 0; i < 8 / sizeof( mbedtls_mpi_uint ); i++, dst++ )  in carry64()
817         *dst += *carry;  in carry64()
818         *carry  = ( *dst < *carry );  in carry64()
903 static inline void add32( uint32_t *dst, uint32_t src, signed char *carry )  in add32()  argument
905     *dst += src;  in add32()
906     *carry += ( *dst < src );  in add32()
909 static inline void sub32( uint32_t *dst, uint32_t src, signed char *carry )  in sub32()  argument
911     *carry -= ( *dst < src );  in sub32()
912     *dst -= src;  in sub32()