On Thu, 6 Aug 2026 at 18:32, Richard Henderson <[email protected]> wrote: > > It is IMPLEMENTATION DEFINED whether HCR_EL2.TID3 traps on registers > within the range which are not explicitly listed. Previously we chose > not to honor the TID3 bit. > > However, with FEAT_IDTE3 it becomes mandatory to honor SCR_EL3.TID3 > on these registers, so we might as well honor HCR_EL2.TID3 too.
I thought we agreed not to change the behaviour here? Is this just a "forgot to update commit message" thing? thanks -- PMM
