Page MenuHomeFreeBSD

arm64/vmm: Move vttbr_el2 & vtimer into struct hypctx
Needs ReviewPublic

Authored by kajetan.puchalski_arm.com on Apr 21 2026, 11:09 AM.
Tags
None
Referenced Files
F157642406: D56554.id178191.diff
Sat, May 23, 4:12 PM
F157588578: D56554.id178191.diff
Sat, May 23, 3:12 AM
F157580017: D56554.id177459.diff
Sat, May 23, 1:17 AM
Unknown Object (File)
Fri, May 22, 9:50 PM
Unknown Object (File)
Fri, May 22, 8:09 AM
Unknown Object (File)
Thu, May 21, 7:21 PM
Unknown Object (File)
Wed, May 20, 11:33 AM
Unknown Object (File)
Wed, May 20, 1:42 AM
Subscribers

Details

Reviewers
andrew
manu
Group Reviewers
arm64
Summary

Move vttbr_el2 & vtimer from struct hyp into struct hypctx to streamline
the logic and handle them in the same way as other *_el2 registers are
already being handled.

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 72478
Build 69361: arc lint + arc unit

Event Timeline

Update with changes to other commits in the stack

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