tree 3d7cc8495383a0eb9b256e726b424b8cddad997b
parent 3a8cef49faef053f387c46c5042744727d03ec3f
parent e590fd52793172b561dd933e3fad314bc61c22d5
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1535641705 +0100
committer GitHub <noreply@github.com> 1535641705 +0100

Merge pull request #1539 from antonio-nino-diaz-arm/an/gic-misra

MISRA fixes for the GIC driver