[PATCH] arm64: asid: Do not replace active_asids if already 0

[Catalin Marinas]

On Thu, Jan 04, 2018 at 11:40:28AM +0000, Will Deacon wrote:
> On Thu, Jan 04, 2018 at 11:17:21AM +0000, Catalin Marinas wrote:
> > (and we now have a formally verified ASID allocator ;))
> 
> It would be cool to mention the verifier in the commit message; potentially
> even including the code somewhere so that it can be used to test future
> changes.

Good idea. I pushed it here:

https://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git/

(keeping the repository name generic as I may push other specs)

> Acked-by: Will Deacon <will.deacon at arm.com>
> Reviewed-by: Will Deacon <will.deacon at arm.com>

Thanks.

-- 
Catalin