Lines Matching refs:k2
803 vec k2 = k[2U];
815 vec_store_le(c, k2);
955 Hacl_Impl_Chacha20_Vec128_chacha20_core3(vec *k0, vec *k1, vec *k2, vec *st)
958 Hacl_Impl_Chacha20_Vec128_chacha20_incr3(k0, k1, k2, st);
961 Hacl_Impl_Chacha20_Vec128_double_round3(k0, k1, k2);
962 Hacl_Impl_Chacha20_Vec128_chacha20_sum3(k0, k1, k2, st);
1013 + vec k2[4U];
1029 - vec k2[4U];
1032 k2[_i] = vec_zero();
1033 Hacl_Impl_Chacha20_Vec128_chacha20_core3(k0, k1, k2, st);
1048 Hacl_Impl_Chacha20_Vec128_xor_block(o2, p2, k2);