tree ff7251565cdb3885625f9866a1e473622410b8e9
parent 70e085a7d985da23d0d7662c1b7c4e338b0e7a42
author Gilles Peskine <Gilles.Peskine@arm.com> 1559727597 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1559727597 +0200

Improve documentation of psa_internal_allocate_key_slot