tree 0edade9173c14aa7e601881f110a7e982605b387
parent 2e614c93a942fcc22460c1878b9d1375673e5c79
author Fuad Tabba <tabba@google.com> 1565793030 +0100
committer Fuad Tabba <tabba@google.com> 1565861872 +0100

Save/restore mdcr_el2 with a vCPU system registers

Monitor Debug Configuration Register (EL2) configures performance monitor
extensions, which include debug as well as performance registers.  Trapping
on certain accesses to these registers will likely vary between VMs.

Make the code for saving/restoring register state when handling exceptions more
flexible.  ldp/stp indices must be in the range [-512, 504].  Use post-index
addressing to keep the base index register up to date.

Bug: 132422368

Change-Id: I5d095b19d8753f2a23b3b089f62a69041314ca08