Subject: Re: [1/6] powerpc/mm: Move pgdir setting into a helper

From: Michael Ellerman <[email-masked]>
Date: Thu, 24 Aug 2017 22:37:31 +1000 (AEST)

On Mon, 2017-07-24 at 04:27:58 UTC, Benjamin Herrenschmidt wrote:
> Makes switch_mm_irqs_off() a bit more readable
> 
> Signed-off-by: Benjamin Herrenschmidt <[email-masked]>

Patches 1-2, 4-6 applied to powerpc next, thanks.

https://git.kernel.org/powerpc/c/43ed84a891b70165a621a5c9219694

cheers