Merge pull request #1033 from davidcunado-arm/dc/psci_flush
authordavidcunado-arm <david.cunado@arm.com>
Mon, 31 Jul 2017 07:45:44 +0000 (08:45 +0100)
committerGitHub <noreply@github.com>
Mon, 31 Jul 2017 07:45:44 +0000 (08:45 +0100)
commitd9f18155e0c643e14bb56600cd407c886616c9dc
treeba623490a9e17bbd7d3c6ba398460d7a91dcb8bc
parent401e4911bcf5e901f26c518835f91bcae1b4716f
parent71341d23668b1700cd50c0abd74073e4351acbd9
Merge pull request #1033 from davidcunado-arm/dc/psci_flush

Address edge case for stale PSCI CPU data in cache