tree f0b5862d62432f7199093370cb37f4a066a306e0
parent e374b95fe16019323de4eedc7da6252b8f777058
author Gilles Peskine <Gilles.Peskine@arm.com> 1612307048 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614018243 +0100

Deinitialize the PSA subsystem

The PSA subsystem may consume global resources. It currently doesn't
consume any heap when no keys are registered, but it may do so in the
future. It does consume mutexes, which are reported as leaks when
mutex usage checking is enabled.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>