Page MenuHomeFreeBSD

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

Authored by kajetan.puchalski_arm.com on Apr 21 2026, 11:09 AM.
Tags
None
Referenced Files
F158715529: D56555.diff
Fri, Jun 5, 12:10 AM
F158699971: D56555.id175978.diff
Thu, Jun 4, 8:26 PM
F158681845: D56555.id176987.diff
Thu, Jun 4, 3:44 PM
Unknown Object (File)
Sat, May 30, 10:43 PM
Unknown Object (File)
Sat, May 30, 10:43 PM
Unknown Object (File)
Fri, May 29, 6:08 PM
Unknown Object (File)
Thu, May 28, 8:44 PM
Unknown Object (File)
Thu, May 28, 3:09 AM
Subscribers

Details

Reviewers
andrew
manu
Group Reviewers
arm64
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 72445
Build 69328: 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
159–160

Style