tree 8e27b4261c0dae7ad40afa923116d320a8dbafd6
parent 2b106dec8be1b56db1e06934fc2af6c1d5ea7963
author Gilles Peskine <Gilles.Peskine@arm.com> 1701887572 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1705342859 +0100

Generated PSA wrappers: poison/unpoison buffer parameters

For now, only instrument the one function for which buffer copying has been
implemented, namely `psa_cipher_encrypt`.

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