Searched refs:dev_assert_secret (Results 1 – 11 of 11) sorted by relevance
50 dev_assert_secret(n % 2 == 1); in bn_neg_inv_mod_r_u64()64 dev_assert_secret((BN_ULLONG)(1) << (LG_LITTLE_R - i) == in bn_neg_inv_mod_r_u64()101 dev_assert_secret(1 == ((BN_ULLONG)u * 2 * alpha) - ((BN_ULLONG)v * beta)); in bn_neg_inv_mod_r_u64()
47 # define dev_assert_secret debug_assert_nonsecret49 # define dev_assert_secret(x) ((void)0) macro
59 dev_assert_secret(carry_in == 0 || carry_in == 1);68 dev_assert_secret(ret == 0 || ret == 1);82 dev_assert_secret(ret == 0 || ret == 1);89 dev_assert_secret(borrow_in == 0 || borrow_in == 1);98 dev_assert_secret(ret == 0 || ret == 1);112 dev_assert_secret(ret == 0 || ret == 1);
110 dev_assert_secret(borrow == 0); in LIMBS_reduce_once()191 dev_assert_secret(c == 0); in limbs_mul_add_limb()195 dev_assert_secret(c == 0); in limbs_mul_add_limb()
43 dev_assert_secret(rep >= 1); in p256_scalar_sqr_rep_mont()
152 dev_assert_secret(carry2 == 0); in elem_div_by_2()196 dev_assert_secret(borrow == 0); in p384_elem_neg()
227 dev_assert_secret(!recoded_is_negative);
95 dev_assert_secret(f[_assert_fe_i] <= UINT64_C(0x8cccccccccccc)); \112 dev_assert_secret(f[_assert_fe_i] <= UINT64_C(0x1a666666666664)); \131 dev_assert_secret(f[_assert_fe_i] <= \149 dev_assert_secret(f[_assert_fe_i] <= \161 dev_assert_secret((s[31] & 0x80) == 0); in fe_frombytes_strict()
49 dev_assert_secret(((uintptr_t)state & 63) == 0); in poly1305_aligned_state()
89 dev_assert_secret(((uintptr_t)state & 63) == 0); in poly1305_aligned_state()
223 dev_assert_secret(i < AES_NOHW_BATCH_SIZE); in aes_nohw_batch_set()242 dev_assert_secret(i < AES_NOHW_BATCH_SIZE); in aes_nohw_batch_get()