| 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>