diff options
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-08-31 14:24:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-31 14:24:27 +0100 |
commit | 776ba05a4718389ef4a35ec3f6b837be3cc39f54 (patch) | |
tree | ee02c1f751621797fa5c884ea349f4a6922a2fa7 /lib/psci/psci_main.c | |
parent | 3ee60d817cfc03087e9f924442685342f11c3be1 (diff) | |
parent | 2ac50020469bb551ba5eb1212d8b47530c908c6a (diff) |
Merge pull request #1552 from glneo/build-fix
GIC: Fix build error
Diffstat (limited to 'lib/psci/psci_main.c')
0 files changed, 0 insertions, 0 deletions