Lines Matching refs:k1
802 vec k1 = k[1U];
814 vec_store_le(b, k1);
821 + vec k1;
834 - vec k1 = vec_load128_le(k + (uint32_t)16U);
836 + k1 = vec_load128_le(k + (uint32_t)16U);
838 st[2U] = k1;
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);
1012 + vec k1[4U];
1024 - vec k1[4U];
1027 k1[_i] = vec_zero();
1033 Hacl_Impl_Chacha20_Vec128_chacha20_core3(k0, k1, k2, st);
1047 Hacl_Impl_Chacha20_Vec128_xor_block(o1, p1, k1);
1977 - uint8_t *key_s = k1 + (uint32_t)16U;
1978 + key_s = k1 + (uint32_t)16U;
1979 Hacl_Standalone_Poly1305_32_poly1305_complete(st, input, len1, k1);