Lines Matching refs:plain
749 Hacl_Lib_LoadStore32_uint32s_from_le_bytes(ib, plain, (uint32_t)16U);
766 uint8_t xi = plain[i];
776 uint8_t *b = plain + (uint32_t)64U * i;
978 Hacl_Impl_Chacha20_Vec128_update_last(uint8_t *output, uint8_t *plain, uint32_t len, vec *st)
988 uint8_t xi = plain[i];
993 Hacl_Impl_Chacha20_Vec128_update(uint8_t *output, uint8_t *plain, vec *st)
1003 Hacl_Impl_Chacha20_Vec128_xor_block(output, plain, k);
1006 Hacl_Impl_Chacha20_Vec128_update3(uint8_t *output, uint8_t *plain, vec *st)
1034 - uint8_t *p0 = plain;
1035 - uint8_t *p1 = plain + (uint32_t)64U;
1036 - uint8_t *p2 = plain + (uint32_t)128U;
1040 + p0 = plain;
1041 + p1 = plain + (uint32_t)64U;
1042 + p2 = plain + (uint32_t)128U;
1056 Hacl_Impl_Chacha20_Vec128_update3_(output, plain, len, st, i);
1074 Hacl_Impl_Chacha20_Vec128_chacha20_counter_mode(output, plain, len, st);