3376                                     size_t output_size,  argument
3391     (void) output_size;
3412     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
3417         output, output_size, output_length);
3435                                     size_t output_size,  argument
3450     (void) output_size;
3470     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
3475         output, output_size, output_length);
4257                                                  size_t output_size)  argument
4266                                              output, output_size,
4273     if (output_length != output_size) {
4280     while (output_size > 0) {
4283             (output_size > MBEDTLS_PSA_RANDOM_MAX_REQUEST ?
4285              output_size);
4294         output_size -= request_size;
4487                                size_t output_size,  argument
4506     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
4512                                               output_size,
4528                                size_t output_size,  argument
4545     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
4549                                               output_size,
4588                                 size_t output_size,  argument
4619         if (output_size < default_iv_length) {
4631     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
4637         output_size - default_iv_length, output_length);
4665                                 size_t output_size,  argument
4693     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
4698         output, output_size, output_length);
5291                              size_t output_size,  argument
5301     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
5339                                             output, output_size,
5907     size_t output_size = 0;  local
5915                               &output_size);
5920     if (output_size != output_length) {
7693                                    size_t output_size,  argument
7702     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
7724     if (output_size < expected_length) {
7732                                             output, output_size,
7746         psa_generate_random_internal(output, output_size);
7747         *output_length = output_size;
7838                                  size_t output_size)  argument
7843     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
7845     status = psa_generate_random_internal(output, output_size);
8855     size_t output_size,  argument
8875     if (output_size == 0) {
8897     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
8900                                             output, output_size, output_length);