2955     mbedtls_mpi XmP;  in ecp_check_bad_points_mx()  local
2957     mbedtls_mpi_init(&XmP);  in ecp_check_bad_points_mx()
2961     MBEDTLS_MPI_CHK(mbedtls_mpi_copy(&XmP, X));  in ecp_check_bad_points_mx()
2962     while (mbedtls_mpi_cmp_mpi(&XmP, P) >= 0) {  in ecp_check_bad_points_mx()
2963         MBEDTLS_MPI_CHK(mbedtls_mpi_sub_mpi(&XmP, &XmP, P));  in ecp_check_bad_points_mx()
2969     if (mbedtls_mpi_cmp_int(&XmP, 1) <= 0) {  /* takes care of 0 and 1 */  in ecp_check_bad_points_mx()
2976         if (mbedtls_mpi_cmp_mpi(&XmP, &ecp_x25519_bad_point_1) == 0) {  in ecp_check_bad_points_mx()
2981         if (mbedtls_mpi_cmp_mpi(&XmP, &ecp_x25519_bad_point_2) == 0) {  in ecp_check_bad_points_mx()
2991     MBEDTLS_MPI_CHK(mbedtls_mpi_add_int(&XmP, &XmP, 1));  in ecp_check_bad_points_mx()
2992     if (mbedtls_mpi_cmp_mpi(&XmP, P) == 0) {  in ecp_check_bad_points_mx()
3000     mbedtls_mpi_free(&XmP);  in ecp_check_bad_points_mx()