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
F156938431: D56556.id176988.diff
Sun, May 17, 12:15 PM
Unknown Object (File)
Thu, May 14, 3:27 PM
Unknown Object (File)
Thu, May 14, 2:43 PM
Unknown Object (File)
Thu, May 14, 12:34 PM
Unknown Object (File)
Thu, May 14, 4:44 AM
Unknown Object (File)
Thu, May 14, 3:32 AM
Unknown Object (File)
Thu, May 14, 1:37 AM
Unknown Object (File)
Thu, May 14, 12:38 AM
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 72700
Build 69583: 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