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)
Nov 3 2024, 12:56 PM
Unknown Object (File)
Oct 19 2024, 12:10 PM
Unknown Object (File)
Oct 10 2024, 3:27 PM
Unknown Object (File)
Oct 3 2024, 9:35 PM
Unknown Object (File)
Oct 2 2024, 10:38 PM
Unknown Object (File)
Sep 26 2024, 4:17 PM
Unknown Object (File)
Sep 25 2024, 4:31 PM
Unknown Object (File)
Sep 25 2024, 8:56 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