tree 91f4170d5192949732e5acc03a46de3532c93aab
parent c93b80c350eaff9dc6e754db2617c0b8a58fad40
author Gilles Peskine <Gilles.Peskine@arm.com> 1558028525 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1558083417 +0200

Rename psa_generate_random_key back to psa_generate_key

generate_key is a more classical name. The longer name was only
introduced to avoid confusion with getting a key from a generator,
which is key derivation, but we no longer use the generator
terminology so this reason no longer applies.

perl -i -pe 's/psa_generate_random_key/psa_generate_key/g' $(git ls-files)