tree c53743a5dade86e2397b1675d03aad76d794f99c
parent 53740c84731a05dcc3358004b5dfcfb1e83d2246
author Gilles Peskine <Gilles.Peskine@arm.com> 1669379254 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1669379254 +0100

Remove now-redundant definitions of inline

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