Merge pull request #1127 from davidcunado-arm/dc/pmrc_init
authordavidcunado-arm <david.cunado@arm.com>
Tue, 17 Oct 2017 12:53:17 +0000 (13:53 +0100)
committerGitHub <noreply@github.com>
Tue, 17 Oct 2017 12:53:17 +0000 (13:53 +0100)
Init and save / restore of PMCR_EL0 / PMCR


Trivial merge