mirror of
https://github.com/ARM-software/arm-trusted-firmware.git
synced 2026-07-07 15:12:04 +00:00
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>