tree 90b3762bebfddff5f378563862eb166a22abe5c0
parent 49d7ddf7f3a79b95d028eba357a9db8875ea512d
author Gilles Peskine <Gilles.Peskine@arm.com> 1643322652 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1645452842 +0100

Fix swapped documentation of set_user_data_{n,p}

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