On Mon, Nov 13, 2023 at 05:42:36PM +0000, Marc Zyngier wrote: > Add ID_AA64MMFR4_EL1 to the list of idregs the kernel knows about, > and describe the E2H0 field. > > Signed-off-by: Marc Zyngier <maz at kernel.org> Reviewed-by: Oliver Upton <oliver.upton at linux.dev> -- Thanks, Oliver