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
F174669077: D46079.id142243.diff
Mon, Oct 5, 2:11 AM
F174663737: D46079.id141260.diff
Mon, Oct 5, 1:20 AM
F174657400: D46079.diff
Mon, Oct 5, 12:27 AM
Unknown Object (File)
Thu, Sep 17, 10:19 PM
Unknown Object (File)
Mon, Sep 7, 9:28 PM
Unknown Object (File)
Aug 5 2026, 10:11 AM
Unknown Object (File)
Aug 5 2026, 5:48 AM
Unknown Object (File)
Aug 5 2026, 5:15 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