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

[kajetan.puchalski_arm.com]

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 <[e-mail]>

[kajetan.puchalski_arm.com]

Update

[kajetan.puchalski_arm.com]

Encode VNCR values into enum hypctx_sysreg as 64-bit offsets

[kajetan.puchalski_arm.com]

Handle non-VHE, store the vncr page as a pointer

[kajetan.puchalski_arm.com]

Fix non-VHE omission

[kajetan.puchalski_arm.com]

Fix omission

[kajetan.puchalski_arm.com]

Use char* for ptr arithmetic

[kajetan.puchalski_arm.com]

Address remaining style review comments

[kajetan.puchalski_arm.com]

Use Static_assert to ensure correct struct hypctx size

[kajetan.puchalski_arm.com]

Correct nVHE omission

[kajetan.puchalski_arm.com]

Address review comments

[andrew]

I looks like some lines might be wider than 80 characters

sys/arm64/vmm/vmm_hyp.c

170–172

Style

[kajetan.puchalski_arm.com]

Fix indentation

[kajetan.puchalski_arm.com]

Fix indentation

[kajetan.puchalski_arm.com]

Fix indentation

[kajetan.puchalski_arm.com]

Put potentially exotic registers in a separate array

[kajetan.puchalski_arm.com]

Only separate out registers relevant for morello