Modules

Hardware updates to Access and Dirty flags in translation tables
Hierarchical Permission can be disabled in TCRs
Limited Ordered regions support
Privileged Access Never support
Speculative reads can generate SError Interrupts
Support for configurable trapping delay of WFE instructions
Virtualization Host Extensions
Number of VMID bits that are supported
Execute-never control at stage2 is distinct for EL0 and EL1

Structs

Constants