HomeFreeBSD

arm64/vmm: Teach the switcher about new registers

Description

arm64/vmm: Teach the switcher about new registers

To support booting the kernel in EL2 some of the EL0 and EL1 registers
are changed to point to an EL2 version. To get access to the EL0/EL1
version of these registers we need to use the new EL02 and EL12
registers, e.g. to access elr_el1 from the host we would use elr_el12.

Add macros that can be different on VHE vs non-VHE code so these
registers can be accessed in the correct way.

Sponsored by: Arm Ltd
Differential Revision: https://reviews.freebsd.org/D46078

Details

Provenance
andrewAuthored on Aug 19 2024, 12:43 PM
Differential Revision
D46078: arm64/vmm: Teach the switcher about new registers
Parents
rG6b17f49da0a2: arm64/vmm: Restore hcr_el2 earlier
Branches
Unknown
Tags
Unknown