tree c7f4063c74ff61f5c9fb862b9122456d28428af4
parent feefadc4a62bc3e2495298ff73e8975b948b2ae7
author Filip Jagodziński <filip.jagodzinski@arm.com> 1659425125 +0200
committer GitHub <noreply@github.com> 1659425125 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJi6NFlCRBK7hj4Ov3rIwAAWQYIAILSPWJuchJ2yD3IJDeK8TiX
 8bvkDJOguIKq9Ec6XF0wy0Y8VxfI5xXZ0396neA22kF+jPzb+qdeBuvL+1TgA+If
 S/X55i+ZHm0V6do6Y+QLJmulqQ1NVTkVdF3ZgmpxCaBifzU58n0Hay2u58tEP86+
 5vsfrdSxCnZlUcSmNDZ8iAozUmXF9wBzRp2azA1vAwNbEWYC/EQt3YEPxc46MX8G
 b+Gk/e1OhtOqmAVUlaOSM++zvlzsKlu21lgxBZQex3gmOAybzkYXAQLyMzJTCj/x
 oY5358W86QWE0RmGFd7eFjFOPJqTrAnswRRIh73AxhzPToujr29YLkR2rJLr3P0=
 =4wOQ
 -----END PGP SIGNATURE-----
 

Fix undefined identifier in system_x headers

All header files present in Device/ARM/x/Include/system_x.h declare
`SystemCoreClock` as `uint32_t` but some of them fail to provide a
typedef for `uint32_t`. As a result, one can only use these headers
after providing a definition of the type.

Add a missing include directive for `stdint.h` and fix the following
error:
Device/ARM/ARMCM85/Include/system_ARMCM85.h:40:8: error:unknown type
name 'uint32_t'
   40 | extern uint32_t SystemCoreClock;

Signed-off-by: Filip Jagodzinski <filip.jagodzinski@arm.com>