Page MenuHomeFreeBSD

arm64/vmm: Only store the guest par_el1
ClosedPublic

Authored by andrew on Jul 23 2024, 11:20 AM.
Tags
None
Referenced Files
Unknown Object (File)
Mon, Apr 27, 3:37 PM
Unknown Object (File)
Mon, Apr 27, 12:35 PM
Unknown Object (File)
Fri, Apr 24, 2:08 PM
Unknown Object (File)
Thu, Apr 16, 9:00 AM
Unknown Object (File)
Mon, Apr 13, 8:45 PM
Unknown Object (File)
Sun, Apr 12, 2:02 AM
Unknown Object (File)
Sat, Apr 11, 12:58 PM
Unknown Object (File)
Fri, Apr 10, 9:09 AM
Subscribers

Details

Summary

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

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 58777
Build 55665: arc lint + arc unit