Searched refs:mpi_dest_r (Results 1 – 1 of 1) sorted by relevance
545 mbedtls_mpi mpi_dest_r; in TEE_BigIntDiv() local552 get_mpi(&mpi_dest_r, dest_r); in TEE_BigIntDiv()557 pop1 = &mpi_dest_r; in TEE_BigIntDiv()564 pop2 = &mpi_dest_r; in TEE_BigIntDiv()570 MPI_CHECK(mbedtls_mpi_div_mpi(&mpi_dest_q, &mpi_dest_r, pop1, pop2)); in TEE_BigIntDiv()575 MPI_CHECK(copy_mpi_to_bigint(&mpi_dest_r, dest_r)); in TEE_BigIntDiv()577 mbedtls_mpi_free(&mpi_dest_r); in TEE_BigIntDiv()