tree ec8ee83d6081b867c4daa63259712459cc1d355f
parent 1fecc8d79d493488f2138b982caa28ff540cd035
parent 7264513563a43aa8e901ba0828f9373d8a2d236a
author davidcunado-arm <david.cunado@arm.com> 1489757465 +0000
committer GitHub <noreply@github.com> 1489757465 +0000

Merge pull request #858 from soby-mathew/sm/gic_driver_data_fix

Flush the GIC driver data after init