tree 0acaa18dea6d93f561f49d7e1dbe519c83acdfb6
parent ae32aac48e7181f1e2bddb5bac77d6270a56a825
author Gilles Peskine <Gilles.Peskine@arm.com> 1543600016 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1544543292 +0100

Distinguish in-memory slot number from in-storage slot identifier

At the moment, the in-storage slot identifier is the in-memory slot
number. But track them separately, to prepare for API changes that
will let them be different (psa_open_key, psa_create_key).