tree eeb7ae407c6ddf885ec8ed5c8853964e035c43c3
parent 094dac1d12e16c3c0a933cf9c548b2a73cee478a
author Gilles Peskine <Gilles.Peskine@arm.com> 1565194799 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1565254689 +0200

Rename psa_internal_allocate_key_slot to psa_get_empty_key_slot

This function no longer modifies anything, so it doesn't actually
allocate the slot. Now, it just returns the empty key slot, and it's
up to the caller to cause the slot to be in use (or not).