On Wed, Aug 21, 2024 at 03:45:20PM +0100, Marc Zyngier wrote:

Ultimately, we need to revisit the way we deal with visibility, as
adding a myriad of helpers checking a combination of features doesn't
scale. That information should exist as a static table, just like the
trap bits.

Indeed, I was wondering about just adding a description of the relevant
ID register field to the sys_regs table.

But until then, that's probably the way.

OK.