On 5/29/26 09:44, Jim MacArthur wrote:
On size and stride validation: there are reserved values for these fields, but the ARM does not say explicitly (that I can see) that they make GPCBW /invalid/, so it wasn't clear to me that we should fault on these.
It's right there in the pseudocode for GPCRegistersConsistant. r~
