Page MenuHomeFreeBSD

arm64/vmm: Store non-VNCR registers in an array
Needs ReviewPublic

Authored by kajetan.puchalski_arm.com on Tue, Apr 21, 11:09 AM.
Tags
None
Referenced Files
F155099170: D56552.id176724.diff
Fri, May 1, 9:35 AM
Unknown Object (File)
Thu, Apr 30, 12:55 AM
Unknown Object (File)
Wed, Apr 29, 6:56 PM
Unknown Object (File)
Wed, Apr 29, 12:49 PM
Unknown Object (File)
Wed, Apr 29, 10:11 AM
Unknown Object (File)
Wed, Apr 29, 2:56 AM
Unknown Object (File)
Tue, Apr 28, 4:15 AM
Unknown Object (File)
Tue, Apr 28, 2:01 AM
Subscribers

Details

Reviewers
andrew
manu
Group Reviewers
arm64
Summary

Move non-VNCR EL0 and EL1 registers into a dedicated array inside of
hypctx. This enables uniform accesses to both VNCR and non-VNCR guest
register state through hypctx_[read|write]_sys_reg().

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 72609
Build 69492: 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