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
F159363978: D56554.diff
Sat, Jun 13, 7:57 AM
F159357919: D56554.diff
Sat, Jun 13, 6:15 AM
Unknown Object (File)
Thu, Jun 11, 4:33 AM
Unknown Object (File)
Wed, Jun 10, 5:34 PM
Unknown Object (File)
Sun, Jun 7, 4:38 PM
Unknown Object (File)
Thu, Jun 4, 7:35 AM
Unknown Object (File)
Sat, May 30, 2:24 AM
Unknown Object (File)
Tue, May 26, 7:44 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 73765
Build 70648: 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

This revision is now accepted and ready to land.Thu, Jun 4, 2:46 PM
This revision now requires review to proceed.Tue, Jun 9, 3:28 PM