tree 4a63972ea84104a2a782396dbd690af17f1dd4a9
parent dd4e59e73d6040c37a62e9b027976a005a023803
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1535107593 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1535617335 +0100

gic: Fix definitions

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