tree 205425faeb0c2c303deac77f38bf3a089b2cc4f7
parent 6aa9f321246519690ec4c50fe04a2b256376c84a
author Gilles Peskine <Gilles.Peskine@arm.com> 1698960770 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1699299199 +0100

Don't cast a function pointer to a data pointer

That's nonstandard. Instead, convert to an integer.

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