tree 691f0f5f9759f66b9c5e454aaa44ec1fd932f307
parent 5ef63028c2677db67e592ae81bc6a75f4cd43ef8
parent 4168f2f49045bb5526b848b86bf943a85cc928a7
author davidcunado-arm <david.cunado@arm.com> 1508244797 +0100
committer GitHub <noreply@github.com> 1508244797 +0100

Merge pull request #1127 from davidcunado-arm/dc/pmrc_init

Init and save / restore of PMCR_EL0 / PMCR