Merge pull request #1179 from paulkocialkowski/integration
authordavidcunado-arm <david.cunado@arm.com>
Sat, 9 Dec 2017 08:43:02 +0000 (08:43 +0000)
committerGitHub <noreply@github.com>
Sat, 9 Dec 2017 08:43:02 +0000 (08:43 +0000)
rockchip: Include stdint header in plat_sip_calls.c


Trivial merge