tree 04f3b13ecd4b5d7ff3b1ad584c2ac653d0be2436
parent fdcde47f362ff303e872ec02e77453a354d085e5
author Gilles Peskine <Gilles.Peskine@arm.com> 1621348773 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1621349023 +0200

Fix build error when int32_t is not int

Fix a pointer mismatch when int32_t is not int, for example on Cortex-M where
in32_t is long int. Fix #4530

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