tree 691f0f5f9759f66b9c5e454aaa44ec1fd932f307
parent 5d2f87e8502d2f1dcb0d937c9ad96498e562451d
parent 3e61b2b54336510475fbab83b7d97538f3ac5460
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