Searched defs:state0 (Results 1 – 4 of 4) sorted by relevance
68 uint32_t ret, state0, state1; prng_lg_range_u32() local 105 size_t ret, state0, state1; prng_lg_range_zu() local
66 __m128i state0, state1; in intel_sha256_step() local
321 Rand64 state0 = state[0]; in nextrand() local
15894 Eurydice_arr_7c state0; member15905 Eurydice_arr_7c state0; member15923 Eurydice_arr_7c state0 = libcrux_sha3_portable_incremental_shake128_init(); in libcrux_ml_dsa_hash_functions_portable_init_absorb() local15960 Eurydice_arr_7c state0 = libcrux_sha3_portable_incremental_shake256_init(); in libcrux_ml_dsa_hash_functions_portable_init_absorb_x4() local