tree 4e676748c6c74d1eddb7cffacc7c82f8766760d0
parent c1317759f2b4ab4f2d5e4bb8ac7b177aaab39c21
author Gilles Peskine <Gilles.Peskine@arm.com> 1633627529 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1634581478 +0200

Correct support function name

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