tree 826a164650e394dc980d971dbd86335e642a4135
parent daa94c4ff501c87c60018102fff3878f04eacee1
author Gilles Peskine <Gilles.Peskine@arm.com> 1610559961 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1610565507 +0100

Local cleanups following the code move

No behavior change.

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