37 	MUST_HAVE((out_pub != NULL), ret, err);  in ecfsdsa_init_pub_key()
46 	MUST_HAVE(!nn_cmp(&(in_priv->x), q, &cmp) && (cmp < 0), ret, err);  in ecfsdsa_init_pub_key()
65 	MUST_HAVE((siglen != NULL), ret, err);  in ecfsdsa_siglen()
66 	MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&  in ecfsdsa_siglen()
117 	MUST_HAVE((((void *)(A)) != NULL) && \
141 	MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&  in _ecfsdsa_sign_init()
151 	MUST_HAVE(((u32)BYTECEIL(p_bit_len) <= NN_MAX_BYTE_LEN), ret, err);  in _ecfsdsa_sign_init()
170 	MUST_HAVE((ctx->rand == nn_get_random_mod), ret, err);  in _ecfsdsa_sign_init()
172 	MUST_HAVE((ctx->rand != NULL), ret, err);  in _ecfsdsa_sign_init()
280 	MUST_HAVE((sig != NULL), ret, err);  in _ecfsdsa_sign_finalize()
299 	MUST_HAVE((cmp < 0), ret, err);  in _ecfsdsa_sign_finalize()
301 	MUST_HAVE((siglen == ECFSDSA_SIGLEN(p_bit_len, q_bit_len)), ret, err);  in _ecfsdsa_sign_finalize()
350 	MUST_HAVE((!nn_iszero(&s, &iszero)) && (!iszero), ret, err);  in _ecfsdsa_sign_finalize()
413 	MUST_HAVE((((void *)(A)) != NULL) && \
434 	MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&  in _ecfsdsa_verify_init()
436 	MUST_HAVE((sig != NULL), ret, err);  in _ecfsdsa_verify_init()
447 	MUST_HAVE((siglen == ECFSDSA_SIGLEN(p_bit_len, q_bit_len)), ret, err);  in _ecfsdsa_verify_init()
460 	MUST_HAVE(on_curve, ret, err);  in _ecfsdsa_verify_init()
470 	MUST_HAVE((!iszero) && (cmp < 0), ret, err);  in _ecfsdsa_verify_init()
686 	MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL), ret, err);  in _ecfsdsa_verify_batch_no_memory()
688 	MUST_HAVE((num > 0), ret, err);  in _ecfsdsa_verify_batch_no_memory()
694 	MUST_HAVE((pub_key0 != NULL), ret, err);  in _ecfsdsa_verify_batch_no_memory()
699 	MUST_HAVE((hm != NULL), ret, err);  in _ecfsdsa_verify_batch_no_memory()
711 		MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);  in _ecfsdsa_verify_batch_no_memory()
726 		MUST_HAVE((siglen == ECFSDSA_SIGLEN(p_bit_len, q_bit_len)), ret, err);  in _ecfsdsa_verify_batch_no_memory()
727 		MUST_HAVE((siglen == (ECFSDSA_R_LEN(p_bit_len) + ECFSDSA_S_LEN(q_bit_len))), ret, err);  in _ecfsdsa_verify_batch_no_memory()
730 		MUST_HAVE((key_type == sig_type), ret, err);  in _ecfsdsa_verify_batch_no_memory()
751 		MUST_HAVE((cmp < 0), ret, err);  in _ecfsdsa_verify_batch_no_memory()
806 	MUST_HAVE((q != NULL) && (G != NULL), ret, err);  in _ecfsdsa_verify_batch_no_memory()
871 	MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL), ret, err);  in _ecfsdsa_verify_batch()
873 	MUST_HAVE((scratch_pad_area_len != NULL), ret, err);  in _ecfsdsa_verify_batch()
874 	MUST_HAVE(((2 * num) >= num), ret, err);  in _ecfsdsa_verify_batch()
875 	MUST_HAVE(((2 * num) + 1) >= num, ret, err);  in _ecfsdsa_verify_batch()
899 	MUST_HAVE((expected_len < 0xffffffff), ret, err);  in _ecfsdsa_verify_batch()
910 		MUST_HAVE((*scratch_pad_area_len) >= expected_len, ret, err);  in _ecfsdsa_verify_batch()
914 	MUST_HAVE((pub_key0 != NULL), ret, err);  in _ecfsdsa_verify_batch()
919 	MUST_HAVE((hm != NULL), ret, err);  in _ecfsdsa_verify_batch()
931 		MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);  in _ecfsdsa_verify_batch()
946 		MUST_HAVE((siglen == ECFSDSA_SIGLEN(p_bit_len, q_bit_len)), ret, err);  in _ecfsdsa_verify_batch()
947 		MUST_HAVE((siglen == (ECFSDSA_R_LEN(p_bit_len) + ECFSDSA_S_LEN(q_bit_len))), ret, err);  in _ecfsdsa_verify_batch()
950 		MUST_HAVE((key_type == sig_type), ret, err);  in _ecfsdsa_verify_batch()
966 		MUST_HAVE((cmp < 0), ret, err);  in _ecfsdsa_verify_batch()
1015 	MUST_HAVE((q != NULL) && (G != NULL) && (q_bit_len != 0), ret, err);  in _ecfsdsa_verify_batch()
1065 		MUST_HAVE((scratch_pad_area_len != NULL), ret, err);  in ecfsdsa_verify_batch()