[PATCH v12 00/11] Support writable CPU ID registers from userspace

[Marc Zyngier]

On Fri, 09 Jun 2023 20:00:43 +0100,
Oliver Upton <oliver.upton at linux.dev> wrote:
> 
> Hello folks,
> 
> In the interest of expediting the acceptance of the generalized ID
> register infrastructure, I have taken Jing's series and applied fixes
> according to the feedback of reviewers and my own interpretation.

With the small nit I mentioned earlier:

Reviewed-by: Marc Zyngier <maz at kernel.org>

	M.

-- 
Without deviation from the norm, progress is not possible.