tree 5b57a6e43753e5297beb953946671a94bc1538d0
parent 2257b9fafdafb86dc750f4b4219d8b2061307565
author Paul Kocialkowski <contact@paulk.fr> 1512229298 +0100
committer Paul Kocialkowski <contact@paulk.fr> 1512257153 +0100

rockchip: Include stdint header in plat_sip_calls.c

This includes the stdint header to declare the various types used within
the file, preventing build errors with recent GCC versions.

Change-Id: I9e7e92bb31deb58d4ff2732067dd88b53124bcc9
Signed-off-by: Paul Kocialkowski <contact@paulk.fr>