Page MenuHomeFreeBSD

arm64/vmm: Add a feature flag and use it for HCRX
ClosedPublic

Authored by andrew on Aug 8 2025, 12:20 PM.
Tags
None
Referenced Files
F152932009: D51816.id.diff
Sat, Apr 18, 3:56 AM
Unknown Object (File)
Thu, Apr 16, 1:11 PM
Unknown Object (File)
Wed, Apr 15, 12:45 AM
Unknown Object (File)
Mon, Apr 13, 9:49 PM
Unknown Object (File)
Mon, Apr 6, 8:32 PM
Unknown Object (File)
Sat, Apr 4, 10:19 PM
Unknown Object (File)
Sat, Apr 4, 12:14 PM
Unknown Object (File)
Mar 19 2026, 7:52 AM
Subscribers

Details

Summary

Add a field to hold the features the hardware supports that need to be
handled when switching to a guest and use it to handle FEAT_HCX that
adds the HRX_EL2 register.

This reduces the number of times we read ID registers in guest
switching which may be trapped when running under nested virtualisation.

Sponsored by: Arm Ltd

Diff Detail

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