| commit | dfc1d3c0af998ee21ffecc82ea2c4cdea385950c | [log] [tgz] |
|---|---|---|
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Wed Feb 27 15:11:18 2019 +0000 |
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Wed Feb 27 15:53:18 2019 +0000 |
| tree | c941d51315b572bf01f147a12b72f65c90bb2408 | |
| parent | 5c61c0c4bc723773d80eda91341aec0717f32a3d [diff] |
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>