Merge pull request #779 from dp-arm/dp/rtinstr-cache
authordanh-arm <dan.handley@arm.com>
Mon, 19 Dec 2016 15:39:33 +0000 (15:39 +0000)
committerGitHub <noreply@github.com>
Mon, 19 Dec 2016 15:39:33 +0000 (15:39 +0000)
commit5d93484ab53bcf58b00c51c9ed800d3f527e9e72
tree4bd983bfa49631ee9343d846e1ce65e5b3d4d9e5
parent78b4c5b0785f73eb95a58ac9fe8d696f3fef5224
parent7941816a3428f015a9f4a6c5dc978b4fca568f4b
Merge pull request #779 from dp-arm/dp/rtinstr-cache

Add two timestamps to measure PSCI cache flush overhead