Hi Marc On 4/26/25 13:27, Marc Zyngier wrote:
Treating HFGRTR_EL2 and HFGWTR_EL2 identically was a mistake. It makes things hard to reason about, has the potential to introduce bugs by giving a meaning to bits that are really reserved, and is in general a bad description of the architecture.
There is a typo in the subject line. HGFxTR_EL2 should be HFG_xTR_EL2. Thanks, Ben
