While I was checking what was needed for FEAT_ECV_POFF I discovered a
few potential correctness issues. We had actually already done the
work for the feature so the final patch is just documentation.

v3
  - tweaked the FEATURE_EL3 check per Richard

v2
  - added target/arm: gate check on scr_el3 behind ARM_FEATURE_EL3 check
  - ensure gt_recalc_timer has updated hcr_el2

The following still need review:

 target/arm: gate check on scr_el3 behind ARM_FEATURE_EL3 check

Alex.

Alex Bennée (6):
  target/arm: split evaluation of CNTHCTL timer IRQ masks
  target/arm: trigger timer recalculation when toggling CNTHCTL:ECV
  target/arm: trigger timer recalc on SCR:ECVEN change
  target/arm: gate check on scr_el3 behind ARM_FEATURE_EL3 check
  target/arm: trigger timer recalc on HCR:(E2H|TGE) changes
  docs/system: add FEAT_ECV_POFF to the emulation list

 docs/system/arm/emulation.rst |  1 +
 target/arm/helper.c           | 33 ++++++++++++++++++++++++++++-----
 2 files changed, 29 insertions(+), 5 deletions(-)

-- 
2.47.3

On Wed, 24 Jun 2026 at 13:45, Alex Bennée <alex.bennee@linaro.org> wrote:
>
> While I was checking what was needed for FEAT_ECV_POFF I discovered a
> few potential correctness issues. We had actually already done the
> work for the feature so the final patch is just documentation.
>
> v3
>   - tweaked the FEATURE_EL3 check per Richard
>



Applied to target-arm.next, thanks.

-- PMM