commit | 5f139826c76eff88d48fd9b4a4155ba47338af5f | [log] [tgz] |
---|---|---|
author | Catalin Marinas <catalin.marinas@arm.com> | Fri Sep 10 10:48:16 2021 +0100 |
committer | Catalin Marinas <catalin.marinas@arm.com> | Fri Sep 10 10:48:16 2021 +0100 |
tree | f3d78451c7f8f98992b727376bd081cdcf0c8983 | |
parent | 50c387fdce005e2496517bca6684248e5bb7a9b7 [diff] |
asidalloc: Fix inadvertently removed line from UniqueASIDActiveTask A previous commit inadvertently removed the implication line in the UniqueASIDActiveTask invariant. Add it back. Fixes: 50c387fdce00 ("asidalloc: Model PTEs and an asynchronous try_to_unmap_one() call") Reported-by: Shameerali Kolothum Thodi <shameerali.kolothum.thodi@huawei.com> Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>