tree 290a2f2074e64960faa1bc4702e842c1756dd435
parent 134677d44c4e93ca81d07bd39bfd060d5b657193
author Gilles Peskine <Gilles.Peskine@arm.com> 1739398269 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1741190600 +0100

Fix Doxygen markup

Pacify `clang -Wdocumentation`.

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