3375                                     uint8_t *output_external,  argument
3385     LOCAL_OUTPUT_DECLARE(output_external, output);
3412     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
3423     LOCAL_OUTPUT_FREE(output_external, output);
3434                                     uint8_t *output_external,  argument
3444     LOCAL_OUTPUT_DECLARE(output_external, output);
3470     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
3482     LOCAL_OUTPUT_FREE(output_external, output);
4486                                uint8_t *output_external,  argument
4493     LOCAL_OUTPUT_DECLARE(output_external, output);
4506     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
4521     LOCAL_OUTPUT_FREE(output_external, output);
4527                                uint8_t *output_external,  argument
4533     LOCAL_OUTPUT_DECLARE(output_external, output);
4545     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
4560     LOCAL_OUTPUT_FREE(output_external, output);
4587                                 uint8_t *output_external,  argument
4598     LOCAL_OUTPUT_DECLARE(output_external, output);
4631     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
4655     LOCAL_OUTPUT_FREE(output_external, output);
4664                                 uint8_t *output_external,  argument
4673     LOCAL_OUTPUT_DECLARE(output_external, output);
4693     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
4711     LOCAL_OUTPUT_FREE(output_external, output);
5290                              uint8_t *output_external,  argument
5298     LOCAL_OUTPUT_DECLARE(output_external, output);
5301     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
5350     LOCAL_OUTPUT_FREE(output_external, output);
6068     uint8_t *output_external,  argument
6072     LOCAL_OUTPUT_DECLARE(output_external, output);
6091     LOCAL_OUTPUT_ALLOC(output_external, output_length, output);
6134         LOCAL_OUTPUT_FREE(output_external, output);
6153     LOCAL_OUTPUT_FREE(output_external, output);
7692                                    uint8_t *output_external,  argument
7701     LOCAL_OUTPUT_DECLARE(output_external, output);
7702     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
7758     LOCAL_OUTPUT_FREE(output_external, output);
7837 psa_status_t psa_generate_random(uint8_t *output_external,  argument
7842     LOCAL_OUTPUT_DECLARE(output_external, output);
7843     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
7850     LOCAL_OUTPUT_FREE(output_external, output);
8854     uint8_t *output_external,  argument
8860     LOCAL_OUTPUT_DECLARE(output_external, output);
8897     LOCAL_OUTPUT_ALLOC(output_external, output_size, output);
8921     LOCAL_OUTPUT_FREE(output_external, output);