Page MenuHomeFreeBSD

arm64/vmm: Move host-side EL2 regs into sys_regs
Needs ReviewPublic

Authored by kajetan.puchalski_arm.com on Tue, Apr 21, 11:09 AM.
Tags
None
Referenced Files
F156498638: D56555.id176100.diff
Thu, May 14, 3:48 AM
F156473324: D56555.id176277.diff
Wed, May 13, 10:17 PM
F156466089: D56555.id176261.diff
Wed, May 13, 9:10 PM
F156441416: D56555.id176319.diff
Wed, May 13, 5:34 PM
F156431958: D56555.id.diff
Wed, May 13, 4:27 PM
F156404079: D56555.id176319.diff
Wed, May 13, 11:11 AM
Unknown Object (File)
Tue, May 12, 12:56 AM
Unknown Object (File)
Mon, May 11, 9:29 PM
Subscribers

Details

Reviewers
andrew
manu
Group Reviewers
arm64
Summary

Move EL2 host registers that are not visible to the guest into
hypctx->sys_regs. Prefix them with HOST_ to distinguish from EL2
registers which are part of the guest's own state (e.g. in VNCR).

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 72931
Build 69814: 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