tree c941d51315b572bf01f147a12b72f65c90bb2408
parent 5c61c0c4bc723773d80eda91341aec0717f32a3d
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1551280278 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1551282798 +0000

trusty: Include file with GIC definitions

The GIC definitions used in this file have to be provided by the platform
but platform_def.h wasn't included.

Change-Id: I858cdf7e60c50577c8e798d64ec2cbc4f067f33b
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>