tree d527c66469ab0451cfe5c87946d515b0c36aa024
parent fe561fe717e83a928d169cc7be3159149f23aa1b
author Gilles Peskine <Gilles.Peskine@arm.com> 1621419873 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1621419873 +0200

Fix parameter names in documentation

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