tree a4b652b941cfd2a5c12b552e80a0430baf1a8513
parent 6a3dd89a64daaba135ecc9b304c099f7c89d2768
author Gilles Peskine <Gilles.Peskine@arm.com> 1564047083 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1564047147 +0200

psa_key_slot_is_external exists. Use it.