tree d3fb02f1fb92d748445e6442eadae3d2fb05cfb7
parent 098c6659ada1a89194caddcf8bc7334a463f502b
author Ryan Everett <ryan.everett@arm.com> 1704297873 +0000
committer Ryan Everett <ryan.everett@arm.com> 1704387468 +0000

Update psa_destroy_key, psa_purge_key and psa_close_key

This does not yet implement destruction while a key is in use for psa_destroy_key;
that will be implemented in a separate pr.
(I am not sure if I am allowed to change the documentation in the include files.)

Signed-off-by: Ryan Everett <ryan.everett@arm.com>