arm64/vmm: Only store the guest par_el1
There is no need to store the host par_el1. We don't depend on it not
changing across calls into a guest.
Sponsored by: Arm Ltd
Differential Revision: https://reviews.freebsd.org/D46079
Description
Description
Details
Details
- Provenance
andrew Authored on Aug 19 2024, 12:44 PM - Differential Revision
- D46079: arm64/vmm: Only store the guest par_el1
- Parents
- rG7861ecd18b6f: arm64/vmm: Teach the switcher about new registers
- Branches
- Unknown
- Tags