tree ba623490a9e17bbd7d3c6ba398460d7a91dcb8bc
parent cd899668ed8246238811b9e00a72fee188b4fa10
parent 06adba2a6336c0687c9ea72166e1a95966ca8c56
author davidcunado-arm <david.cunado@arm.com> 1501487144 +0100
committer GitHub <noreply@github.com> 1501487144 +0100

Merge pull request #1033 from davidcunado-arm/dc/psci_flush

Address edge case for stale PSCI CPU data in cache