On Mon, Dec 19, 2022 at 02:47:25PM +0000, Marc Zyngier wrote:
Since you're reviewing some of this, please have a look at v3[1],
which outlined a limitation of the sysreg generation tool as well
as a potential fix.
Hrm, would've been nice to be CCed on stuff for the tool :/