tree ee02c1f751621797fa5c884ea349f4a6922a2fa7
parent 54c286ddfbfc819132b876dbe76feb42ccd52eb9
parent 25a17a2ebc9ba19631201973f7e9ec1cc6862419
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1535721867 +0100
committer GitHub <noreply@github.com> 1535721867 +0100

Merge pull request #1552 from glneo/build-fix

GIC: Fix build error