On Tue, Sep 01, 2020 at 03:43:21PM +0100, Marc Zyngier wrote: > The old IPI registration interface is now unused on arm64, so let's > get rid of it. > > Reviewed-by: Valentin Schneider <[email protected]> > Signed-off-by: Marc Zyngier <[email protected]>
Acked-by: Catalin Marinas <[email protected]>
