Symbol: KRML_MUSTINLINE
usr.bin/ssh/libcrux_mlkem768_sha3.h
10010
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
10024
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
10055
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
10071
static KRML_MUSTINLINE void libcrux_ml_kem_matrix_compute_As_plus_e_1b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10159
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_generate_keypair_unpacked_1c(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10208
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
10237
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_serialize_vector_1b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10270
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_serialize_public_key_mut_89(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10297
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_serialize_public_key_89(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10357
static KRML_MUSTINLINE libcrux_ml_kem_utils_extraction_helper_Keypair768
usr.bin/ssh/libcrux_mlkem768_sha3.h
10379
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
10428
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cca_serialize_kem_secret_key_d6(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10457
static KRML_MUSTINLINE libcrux_ml_kem_mlkem768_MlKem768KeyPair
usr.bin/ssh/libcrux_mlkem768_sha3.h
10532
static KRML_MUSTINLINE bool libcrux_ml_kem_ind_cca_validate_private_key_only_d6(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10561
static KRML_MUSTINLINE bool libcrux_ml_kem_ind_cca_validate_private_key_37(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10578
static KRML_MUSTINLINE bool
usr.bin/ssh/libcrux_mlkem768_sha3.h
10608
static KRML_MUSTINLINE bool
usr.bin/ssh/libcrux_mlkem768_sha3.h
10657
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
10690
static KRML_MUSTINLINE bool libcrux_ml_kem_ind_cca_validate_public_key_89(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10722
static KRML_MUSTINLINE bool
usr.bin/ssh/libcrux_mlkem768_sha3.h
10793
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cca_unpacked_decapsulate_51(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10874
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
10936
static KRML_MUSTINLINE tuple_c2 libcrux_ml_kem_ind_cca_unpacked_encapsulate_0c(
usr.bin/ssh/libcrux_mlkem768_sha3.h
10995
static KRML_MUSTINLINE tuple_c2
usr.bin/ssh/libcrux_mlkem768_sha3.h
11134
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cca_unpacked_generate_keypair_15(
usr.bin/ssh/libcrux_mlkem768_sha3.h
11194
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
11230
static KRML_MUSTINLINE libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_a0
usr.bin/ssh/libcrux_mlkem768_sha3.h
11249
static KRML_MUSTINLINE
usr.bin/ssh/libcrux_mlkem768_sha3.h
11305
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
11352
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
11387
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
11421
static KRML_MUSTINLINE libcrux_ml_kem_types_MlKemPrivateKey_d9
usr.bin/ssh/libcrux_mlkem768_sha3.h
11463
static KRML_MUSTINLINE libcrux_ml_kem_types_MlKemPublicKey_30
usr.bin/ssh/libcrux_mlkem768_sha3.h
11487
static KRML_MUSTINLINE libcrux_ml_kem_types_MlKemPublicKey_30
usr.bin/ssh/libcrux_mlkem768_sha3.h
11515
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
11538
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
11628
static KRML_MUSTINLINE libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_a0 *
usr.bin/ssh/libcrux_mlkem768_sha3.h
11667
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
1171
static KRML_MUSTINLINE uint8_t libcrux_ml_kem_utils_prf_input_inc_e0(
usr.bin/ssh/libcrux_mlkem768_sha3.h
11715
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
1189
static KRML_MUSTINLINE void libcrux_ml_kem_utils_into_padded_array_c8(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1208
static KRML_MUSTINLINE void libcrux_ml_kem_utils_into_padded_array_b6(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1241
static KRML_MUSTINLINE void libcrux_ml_kem_utils_into_padded_array_15(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1260
static KRML_MUSTINLINE void libcrux_ml_kem_utils_into_padded_array_24(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1324
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
1338
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
1352
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
1366
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
1380
static KRML_MUSTINLINE void libcrux_secrets_int_public_integers_classify_27_46(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1394
static KRML_MUSTINLINE Eurydice_slice
usr.bin/ssh/libcrux_mlkem768_sha3.h
1408
static KRML_MUSTINLINE Eurydice_slice
usr.bin/ssh/libcrux_mlkem768_sha3.h
1626
static KRML_MUSTINLINE uint64_t libcrux_sha3_simd_portable_zero_d2(void) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
1630
static KRML_MUSTINLINE uint64_t libcrux_sha3_simd_portable__veor5q_u64(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1638
static KRML_MUSTINLINE uint64_t libcrux_sha3_simd_portable_xor5_d2(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1649
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
1654
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
1663
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
1668
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
1676
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
1681
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
1689
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
1697
static KRML_MUSTINLINE uint64_t libcrux_sha3_simd_portable_xor_d2(uint64_t a,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1754
static KRML_MUSTINLINE libcrux_sha3_generic_keccak_KeccakState_17
usr.bin/ssh/libcrux_mlkem768_sha3.h
1771
static KRML_MUSTINLINE uint64_t *libcrux_sha3_traits_get_ij_04(uint64_t *arr,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1783
static KRML_MUSTINLINE void libcrux_sha3_traits_set_ij_04(uint64_t *arr,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1794
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_block_f8(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1862
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_theta_80_04(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1988
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
1999
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2013
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2024
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2035
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2049
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2060
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2071
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2085
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2096
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2107
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2121
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2132
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2146
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2157
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2168
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2182
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2193
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2204
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2218
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2229
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2240
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2254
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2265
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2276
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2290
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2301
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2312
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2326
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2337
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2348
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2362
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2373
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2384
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2398
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2409
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2420
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2434
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2445
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2456
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2470
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2481
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2492
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2506
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2517
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2528
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2542
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2553
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2564
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2578
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2589
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2600
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2614
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2625
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2636
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2650
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2661
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2672
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2686
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2697
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2708
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2722
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2733
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2744
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2758
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2769
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2780
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2794
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2805
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2816
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2830
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
2845
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_rho_80_04(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3058
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_pi_80_04(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3193
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_chi_80_04(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3227
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_iota_80_04(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3248
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_keccakf1600_80_04(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3275
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_block_80_c6(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3288
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_last_96(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3331
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_final_80_9e(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3343
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_store_block_f8(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3433
static KRML_MUSTINLINE void libcrux_sha3_portable_sha512(Eurydice_slice digest,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3443
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_block_5b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3497
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_block_80_c60(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3510
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_last_ad(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3554
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_final_80_9e0(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3566
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_store_block_5b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3656
static KRML_MUSTINLINE void libcrux_sha3_portable_sha256(Eurydice_slice digest,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3667
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_last_ad0(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3711
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_final_80_9e1(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3760
static KRML_MUSTINLINE void libcrux_sha3_portable_shake256(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3771
static KRML_MUSTINLINE libcrux_sha3_generic_keccak_KeccakState_17
usr.bin/ssh/libcrux_mlkem768_sha3.h
3781
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_block_3a(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3813
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_last_c6(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3857
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_final_80_9e2(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3867
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
3881
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_store_block_3a(
usr.bin/ssh/libcrux_mlkem768_sha3.h
3941
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
3956
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
3974
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
3985
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
4038
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_block_2c(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4092
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_block_80_c61(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4105
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_last_1e(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4149
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_final_80_9e3(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4161
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_store_block_2c(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4251
static KRML_MUSTINLINE void libcrux_sha3_portable_sha224(Eurydice_slice digest,
usr.bin/ssh/libcrux_mlkem768_sha3.h
4261
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_block_7a(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4315
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_block_80_c62(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4328
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_load_last_7c(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4372
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_final_80_9e4(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4384
static KRML_MUSTINLINE void libcrux_sha3_simd_portable_store_block_7a(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4474
static KRML_MUSTINLINE void libcrux_sha3_portable_sha384(Eurydice_slice digest,
usr.bin/ssh/libcrux_mlkem768_sha3.h
4582
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_absorb_block_80_c63(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4631
static KRML_MUSTINLINE void libcrux_sha3_portable_shake128(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4668
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
4689
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
4698
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
4710
static KRML_MUSTINLINE libcrux_sha3_generic_keccak_KeccakState_17
usr.bin/ssh/libcrux_mlkem768_sha3.h
4726
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
4735
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
4752
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
4763
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
4883
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_xof_absorb_35_c6(
usr.bin/ssh/libcrux_mlkem768_sha3.h
4931
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_xof_absorb_final_35_9e(
usr.bin/ssh/libcrux_mlkem768_sha3.h
5034
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_xof_squeeze_85_c7(
usr.bin/ssh/libcrux_mlkem768_sha3.h
5190
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_xof_absorb_35_c60(
usr.bin/ssh/libcrux_mlkem768_sha3.h
5235
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_xof_absorb_final_35_9e0(
usr.bin/ssh/libcrux_mlkem768_sha3.h
5332
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_xof_squeeze_85_13(
usr.bin/ssh/libcrux_mlkem768_sha3.h
5519
static KRML_MUSTINLINE int16_t libcrux_ml_kem_polynomial_zeta(size_t i) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
5539
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5574
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5593
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5617
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5641
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5667
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5726
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5801
static KRML_MUSTINLINE int16_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
5810
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5835
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5852
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5863
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5921
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5944
static KRML_MUSTINLINE uint32_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
5963
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
5986
static KRML_MUSTINLINE void libcrux_ml_kem_vector_portable_ntt_ntt_step(
usr.bin/ssh/libcrux_mlkem768_sha3.h
5999
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6034
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6068
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6101
static KRML_MUSTINLINE void libcrux_ml_kem_vector_portable_ntt_inv_ntt_step(
usr.bin/ssh/libcrux_mlkem768_sha3.h
6115
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6150
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6185
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6240
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
6274
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6325
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
6369
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6446
static KRML_MUSTINLINE uint8_t_x4
usr.bin/ssh/libcrux_mlkem768_sha3.h
646
static KRML_MUSTINLINE uint8_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
6472
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
6512
static KRML_MUSTINLINE int16_t_x8
usr.bin/ssh/libcrux_mlkem768_sha3.h
6553
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6589
static KRML_MUSTINLINE uint8_t_x5
usr.bin/ssh/libcrux_mlkem768_sha3.h
659
static KRML_MUSTINLINE int16_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
6621
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
667
static KRML_MUSTINLINE uint8_t libcrux_secrets_int_as_u8_f5(int16_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
6677
static KRML_MUSTINLINE int16_t_x8
usr.bin/ssh/libcrux_mlkem768_sha3.h
6752
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
6787
static KRML_MUSTINLINE uint8_t_x3
usr.bin/ssh/libcrux_mlkem768_sha3.h
680
static KRML_MUSTINLINE int16_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
6801
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
6878
static KRML_MUSTINLINE int16_t_x2
usr.bin/ssh/libcrux_mlkem768_sha3.h
6892
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
693
static KRML_MUSTINLINE uint8_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
6936
static KRML_MUSTINLINE size_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
701
static KRML_MUSTINLINE int16_t libcrux_secrets_int_as_i16_59(uint8_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7111
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7138
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_deserialize_vector_1b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
714
static KRML_MUSTINLINE int32_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
7182
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
722
static KRML_MUSTINLINE int32_t libcrux_secrets_int_as_i32_f5(int16_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7223
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7250
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7267
static KRML_MUSTINLINE
usr.bin/ssh/libcrux_mlkem768_sha3.h
7289
static KRML_MUSTINLINE void libcrux_ml_kem_ntt_ntt_at_layer_4_plus_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7319
static KRML_MUSTINLINE void libcrux_ml_kem_ntt_ntt_at_layer_3_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7339
static KRML_MUSTINLINE void libcrux_ml_kem_ntt_ntt_at_layer_2_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
735
static KRML_MUSTINLINE int32_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
7359
static KRML_MUSTINLINE void libcrux_ml_kem_ntt_ntt_at_layer_1_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7381
static KRML_MUSTINLINE void libcrux_ml_kem_polynomial_poly_barrett_reduce_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7404
static KRML_MUSTINLINE void libcrux_ml_kem_polynomial_poly_barrett_reduce_d6_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7415
static KRML_MUSTINLINE void libcrux_ml_kem_ntt_ntt_vector_u_0a(
usr.bin/ssh/libcrux_mlkem768_sha3.h
743
static KRML_MUSTINLINE int16_t libcrux_secrets_int_as_i16_36(int32_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7444
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
7489
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
7530
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7557
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
756
static KRML_MUSTINLINE uint32_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
7616
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
764
static KRML_MUSTINLINE int32_t libcrux_secrets_int_as_i32_b8(uint32_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7651
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7668
static KRML_MUSTINLINE void libcrux_ml_kem_polynomial_add_to_ring_element_1b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7697
static KRML_MUSTINLINE void libcrux_ml_kem_polynomial_add_to_ring_element_d6_1b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7709
static KRML_MUSTINLINE void libcrux_ml_kem_invert_ntt_invert_ntt_at_layer_1_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7730
static KRML_MUSTINLINE void libcrux_ml_kem_invert_ntt_invert_ntt_at_layer_2_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7749
static KRML_MUSTINLINE void libcrux_ml_kem_invert_ntt_invert_ntt_at_layer_3_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7768
static KRML_MUSTINLINE
usr.bin/ssh/libcrux_mlkem768_sha3.h
777
static KRML_MUSTINLINE uint16_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
7791
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
7824
static KRML_MUSTINLINE void libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_1b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7848
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
785
static KRML_MUSTINLINE uint16_t libcrux_secrets_int_as_u16_f5(int16_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7880
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7899
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7923
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
7935
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
798
static KRML_MUSTINLINE uint16_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
7992
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_decrypt_unpacked_42(
usr.bin/ssh/libcrux_mlkem768_sha3.h
8020
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_decrypt_42(
usr.bin/ssh/libcrux_mlkem768_sha3.h
806
static KRML_MUSTINLINE int16_t libcrux_secrets_int_as_i16_ca(uint16_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
8146
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8175
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
819
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
827
static KRML_MUSTINLINE uint64_t libcrux_secrets_int_as_u64_ca(uint16_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
8333
static KRML_MUSTINLINE bool
usr.bin/ssh/libcrux_mlkem768_sha3.h
840
static KRML_MUSTINLINE uint32_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
8455
static KRML_MUSTINLINE bool
usr.bin/ssh/libcrux_mlkem768_sha3.h
8497
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8525
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
853
static KRML_MUSTINLINE uint64_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
8559
static KRML_MUSTINLINE void libcrux_ml_kem_sampling_sample_from_xof_2b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
8605
static KRML_MUSTINLINE void libcrux_ml_kem_matrix_sample_matrix_A_2b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
861
static KRML_MUSTINLINE uint32_t libcrux_secrets_int_as_u32_a3(uint64_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
8648
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
8674
static KRML_MUSTINLINE
usr.bin/ssh/libcrux_mlkem768_sha3.h
869
static KRML_MUSTINLINE int16_t libcrux_secrets_int_as_i16_b8(uint32_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
877
static KRML_MUSTINLINE int16_t libcrux_secrets_int_as_i16_f5(int16_t self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
8813
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8859
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8872
static KRML_MUSTINLINE void libcrux_ml_kem_ntt_ntt_at_layer_7_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
8894
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
8927
static KRML_MUSTINLINE uint8_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
8989
static KRML_MUSTINLINE uint8_t
usr.bin/ssh/libcrux_mlkem768_sha3.h
9064
static KRML_MUSTINLINE void libcrux_ml_kem_polynomial_add_error_reduce_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9094
static KRML_MUSTINLINE void libcrux_ml_kem_polynomial_add_error_reduce_d6_ea(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9109
static KRML_MUSTINLINE void libcrux_ml_kem_matrix_compute_vector_u_1b(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9157
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
9193
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
9221
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
9241
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_compress_then_serialize_u_43(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9278
static KRML_MUSTINLINE tuple_ed libcrux_ml_kem_ind_cpa_encrypt_c1_85(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9334
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9360
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9395
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9413
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9438
static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector
usr.bin/ssh/libcrux_mlkem768_sha3.h
9474
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
9502
static KRML_MUSTINLINE void
usr.bin/ssh/libcrux_mlkem768_sha3.h
9516
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_encrypt_c2_6c(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9589
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_encrypt_unpacked_2a(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9632
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cpa_encrypt_2a(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9655
static KRML_MUSTINLINE void libcrux_ml_kem_variant_kdf_39_d6(
usr.bin/ssh/libcrux_mlkem768_sha3.h
968
static KRML_MUSTINLINE void libcrux_ml_kem_utils_into_padded_array_9e(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9688
static KRML_MUSTINLINE void libcrux_ml_kem_ind_cca_decapsulate_62(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9807
static KRML_MUSTINLINE void libcrux_ml_kem_variant_entropy_preprocess_39_9c(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9848
static KRML_MUSTINLINE tuple_c2 libcrux_ml_kem_ind_cca_encapsulate_ca(
usr.bin/ssh/libcrux_mlkem768_sha3.h
9964
static KRML_MUSTINLINE void libcrux_ml_kem_variant_cpa_keygen_seed_39_9c(