Page MenuHomeFreeBSD

arm64/vmm: Move host-side EL2 regs into sys_regs
ClosedPublic

Authored by kajetan.puchalski_arm.com on Apr 21 2026, 11:09 AM.
Tags
None
Referenced Files
F168426395: D56555.id176987.diff
Fri, Aug 28, 6:28 AM
F168413499: D56555.id179462.diff
Fri, Aug 28, 3:50 AM
F168409073: D56555.id176100.diff
Fri, Aug 28, 2:59 AM
F168404552: D56555.id179462.diff
Fri, Aug 28, 2:09 AM
F168402118: D56555.id179457.diff
Fri, Aug 28, 1:47 AM
F168402030: D56555.id179465.diff
Fri, Aug 28, 1:46 AM
F168401944: D56555.id176987.diff
Fri, Aug 28, 1:45 AM
F168339786: D56555.id179457.diff
Thu, Aug 27, 4:48 PM
Subscribers

Details

Summary

Move EL2 host registers that are not visible to the guest into
hypctx->sys_regs. Prefix them with HOST_ to distinguish from EL2
registers which are part of the guest's own state (e.g. in VNCR).

Signed-off-by: Kajetan Puchalski <kajetan.puchalski@arm.com>

Diff Detail

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

Event Timeline

Encode VNCR values into enum hypctx_sysreg as 64-bit offsets

Handle non-VHE, store the vncr page as a pointer

Address remaining style review comments

Use Static_assert to ensure correct struct hypctx size

I looks like some lines might be wider than 80 characters

sys/arm64/vmm/vmm_hyp.c
170–171

Style

Put potentially exotic registers in a separate array

Only separate out registers relevant for morello

This revision is now accepted and ready to land.Jul 1 2026, 10:51 AM