On Wed, Dec 18, 2024 at 09:10:51AM +0000, Marc Zyngier wrote: > But I don't think we should be prescriptive about the state of these > registers, as long as the potential traps are correctly handled. The rest of the document is written in terms of explicit register values, if we're changing approach we should probably update all the existing requirements to be written in the same way since having a mix of approaches tends to be a big red flag that there should be different handling. Consistency will make the document clearer and easier for people to work with. FWIW there is an explict note in the document about the fact that it's an as-if rule: | Where the values documented | disable traps it is permissible for these traps to be enabled so long as | those traps are handled transparently by higher exception levels as though | the values documented were set. from when I raised this before.
Attachment:
signature.asc
Description: PGP signature
