Page MenuHomeFreeBSD

arm64/vmm: Make remaining registers use hypctx_*_sys_reg
Needs ReviewPublic

Authored by kajetan.puchalski_arm.com on Tue, Apr 21, 11:09 AM.
Tags
None
Referenced Files
F156537083: D56556.id176101.diff
Thu, May 14, 12:34 PM
F156502230: D56556.id176320.diff
Thu, May 14, 4:44 AM
F156497318: D56556.id176738.diff
Thu, May 14, 3:32 AM
F156490191: D56556.id175979.diff
Thu, May 14, 1:37 AM
F156485612: D56556.id176262.diff
Thu, May 14, 12:38 AM
F156482765: D56556.id176278.diff
Wed, May 13, 11:53 PM
F156479298: D56556.id176278.diff
Wed, May 13, 11:05 PM
F156478291: D56556.id176278.diff
Wed, May 13, 10:55 PM
Subscribers

Details

Reviewers
andrew
manu
Group Reviewers
arm64
Summary

Move vgic, timer and trapframe registers into sys_regs to handle them
in the same way as all the other registers.

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 72932
Build 69815: 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