On Tue, Feb 14, 2023 at 08:49:03AM +0100, Alexandre Ghiti wrote: > From: Palmer Dabbelt <pal...@rivosinc.com> > > 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 <pal...@rivosinc.com>
Acked-by: Catalin Marinas <catalin.mari...@arm.com>