Lines Matching refs:k0
801 vec k0 = k[0U];
813 vec_store_le(a, k0);
820 + vec k0;
833 - vec k0 = vec_load128_le(k);
835 + k0 = vec_load128_le(k);
837 st[1U] = k0;
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);
1009 vec k0[4U];
1022 k0[_i] = vec_zero();
1033 Hacl_Impl_Chacha20_Vec128_chacha20_core3(k0, k1, k2, st);
1046 Hacl_Impl_Chacha20_Vec128_xor_block(o0, p0, k0);