Lines Matching defs:work_buf
382 unsigned char work_buf[16];
407 memset(work_buf, 0x00, 16);
409 MBEDTLS_PUT_UINT64_BE(iv_bits, work_buf, 8);
432 mbedtls_xor(ctx->y, ctx->y, work_buf, 16);
655 unsigned char work_buf[16];
686 memset(work_buf, 0x00, 16);
688 MBEDTLS_PUT_UINT32_BE((orig_add_len >> 32), work_buf, 0);
689 MBEDTLS_PUT_UINT32_BE((orig_add_len), work_buf, 4);
690 MBEDTLS_PUT_UINT32_BE((orig_len >> 32), work_buf, 8);
691 MBEDTLS_PUT_UINT32_BE((orig_len), work_buf, 12);
693 mbedtls_xor(ctx->buf, ctx->buf, work_buf, 16);