tree 2904d893e322d95887c3034d5747b6ad7f65085d
parent 2e5907125a5fa479ac3ed38eb42e20aa7a7544f3
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1534842153 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1535617336 +0100

gic: Fix types

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