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
F170870017: D51816.id162665.diff
Mon, Sep 7, 4:14 AM
Unknown Object (File)
Fri, Sep 4, 8:23 PM
Unknown Object (File)
Thu, Sep 3, 9:20 AM
Unknown Object (File)
Wed, Sep 2, 11:20 AM
Unknown Object (File)
Mon, Aug 31, 7:13 PM
Unknown Object (File)
Mon, Aug 31, 5:08 PM
Unknown Object (File)
Mon, Aug 31, 11:03 AM
Unknown Object (File)
Sat, Aug 29, 4:57 PM
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 Not Applicable
Unit
Tests Not Applicable