1 /**
2  * \file bignum_mod_raw_invasive.h
3  *
4  * \brief Function declarations for invasive functions of Low-level
5  *        modular bignum.
6  */
7 /**
8  *  Copyright The Mbed TLS Contributors
9  *  SPDX-License-Identifier: Apache-2.0
10  *
11  *  Licensed under the Apache License, Version 2.0 (the "License"); you may
12  *  not use this file except in compliance with the License.
13  *  You may obtain a copy of the License at
14  *
15  *  http://www.apache.org/licenses/LICENSE-2.0
16  *
17  *  Unless required by applicable law or agreed to in writing, software
18  *  distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
19  *  WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
20  *  See the License for the specific language governing permissions and
21  *  limitations under the License.
22  */
23 
24 #ifndef MBEDTLS_BIGNUM_MOD_RAW_INVASIVE_H
25 #define MBEDTLS_BIGNUM_MOD_RAW_INVASIVE_H
26 
27 #include "common.h"
28 #include "mbedtls/bignum.h"
29 #include "bignum_mod.h"
30 
31 #if defined(MBEDTLS_TEST_HOOKS)
32 
33 /** Convert the result of a quasi-reduction to its canonical representative.
34  *
35  * \param[in,out] X     The address of the MPI to be converted. Must have the
36  *                      same number of limbs as \p N. The input value must
37  *                      be in range 0 <= X < 2N.
38  * \param[in]     N     The address of the modulus.
39  */
40 MBEDTLS_STATIC_TESTABLE
41 void mbedtls_mpi_mod_raw_fix_quasi_reduction(mbedtls_mpi_uint *X,
42                                              const mbedtls_mpi_mod_modulus *N);
43 
44 #endif /* MBEDTLS_TEST_HOOKS */
45 
46 #endif /* MBEDTLS_BIGNUM_MOD_RAW_INVASIVE_H */
47