On 4/29/22 02:52, Damien Hedde wrote:
The following checks are missing:
+ for HFG[W/R]TR_EL2.SCXTNUM_EL0/1
We do not yet support FEAT_FGT.
+ HCR_EL2.<NV2,NV1,NV> when accessing SCXTNUM_EL1, but maybe these are always
guaranteed to fail because we don't support the features ?
+ HCR_EL2.NV when accessing SCXTNUM_EL2
We do not yet support FEAT_NV or FEAT_NV2.
+ if (arm_is_el2_enabled(env) && !(hcr & HCR_ENSCXT)) {
This case is also present when accessing SCXTNUM_EL0 from el1 (but without "(hcr &
(HCR_TGE | HCR_E2H)) != (HCR_TGE | HCR_E2H)" precondition)
Quite right. Will fix.
r~