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)
Sat, Dec 6, 7:53 PM
Unknown Object (File)
Nov 30 2025, 11:03 AM
Unknown Object (File)
Nov 28 2025, 3:16 AM
Unknown Object (File)
Nov 20 2025, 9:01 PM
Unknown Object (File)
Nov 1 2025, 10:54 PM
Unknown Object (File)
Oct 29 2025, 1:16 AM
Unknown Object (File)
Oct 28 2025, 9:39 PM
Unknown Object (File)
Oct 27 2025, 7:17 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 Not Applicable
Unit
Tests Not Applicable