On Tue, Feb 14, 2023 at 08:49:03AM +0100, Alexandre Ghiti wrote: > From: Palmer Dabbelt <palmer@xxxxxxxxxxxx> > > As far as I can tell this is not used by userspace and thus should not > be part of the user-visible API. > > Signed-off-by: Palmer Dabbelt <palmer@xxxxxxxxxxxx> Acked-by: Catalin Marinas <catalin.marinas@xxxxxxx>
