Lines Matching refs:MBEDTLS_ASSUME
36 MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_AES);
39 MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_ARIA);
42 MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_CAMELLIA);
45 MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_CHACHA20);
48 MBEDTLS_ASSUME(key_type != PSA_KEY_TYPE_DES);
51 MBEDTLS_ASSUME(alg != PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_CCM, 0));
54 MBEDTLS_ASSUME(alg != PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_GCM, 0));
57 MBEDTLS_ASSUME(alg != PSA_ALG_STREAM_CIPHER);
60 MBEDTLS_ASSUME(alg != PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_CHACHA20_POLY1305, 0));
63 MBEDTLS_ASSUME(alg != PSA_ALG_CCM_STAR_NO_TAG);
66 MBEDTLS_ASSUME(alg != PSA_ALG_CTR);
69 MBEDTLS_ASSUME(alg != PSA_ALG_CFB);
72 MBEDTLS_ASSUME(alg != PSA_ALG_OFB);
75 MBEDTLS_ASSUME(alg != PSA_ALG_XTS);
78 MBEDTLS_ASSUME(alg != PSA_ALG_ECB_NO_PADDING);
81 MBEDTLS_ASSUME(alg != PSA_ALG_CBC_NO_PADDING);
84 MBEDTLS_ASSUME(alg != PSA_ALG_CBC_PKCS7);
87 MBEDTLS_ASSUME(alg != PSA_ALG_CMAC);