HomeFreeBSD

arm64: Update how we handle SpecSEI

Description

arm64: Update how we handle SpecSEI

The ID_AA64MMFR1_EL0.SpecSEI field needs to use MRS_HIGHER to get the
largest value from all CPUs. This is because it indicates when an
exception might happen when it's non-zero and can't happen when zero.
As indicating something that might happen even when it can't is safer
use MRS_HIGHER to handle this field.

Reviewed by: imp
Sponsored by: Arm Ltd
Differential Revision: https://reviews.freebsd.org/D47126

Details

Provenance
andrewAuthored on Oct 18 2024, 9:17 AM
Reviewer
imp
Differential Revision
D47126: arm64: Update how we handle SpecSEI
Parents
rG5727c249ad2a: arm64: Use register types to build kernel ID regs
Branches
Unknown
Tags
Unknown