On Fri, Oct 28, 2022 at 05:54:25PM +0100, James Morse wrote:

> Convert ID_DFR0_EL1 to be automatically generated as per DDI0487I.a,
> no functional changes.

> +Enum	11:8	MMapDbg
> +	0b0000	NI
> +	0b0100	Armv7
> +	0b0101	Arm7p1
> +EndEnum

Probably 0b0101 should be Armv7p1?  Either that or 0b1000 should be
Arm7.