Merge pull request #1087 from robertovargas-arm/psci_do_cpu_off
authordavidcunado-arm <david.cunado@arm.com>
Mon, 11 Sep 2017 17:19:03 +0000 (18:19 +0100)
committerGitHub <noreply@github.com>
Mon, 11 Sep 2017 17:19:03 +0000 (18:19 +0100)
Reduce time lock in psci_do_cpu_off


Trivial merge