arm64: Remove a racy KASSERT from pmap_remove_pages()

PCPU_GET(curpmap) expands to multiple instructions on arm64, and if the current thread is migrated in between execution of those instructions, a stale value may be used in the assertion condition. Diagnosed by: mmel Reported by: mmel, Bob Prohaska <fbsd@www.zefox.net> Submitted by: alc MFC after: 1 week
Logic-gate · Oct 27, 2020 · bde1566 · bde1566
1 parent bd43fdc
commit bde1566
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/sys/arm64/arm64/pmap.c b/sys/arm64/arm64/pmap.c
@@ -4838,8 +4838,6 @@ pmap_remove_pages(pmap_t pmap)
 	int allfree, field, freed, idx, lvl;
 	vm_paddr_t pa;
 
-	KASSERT(pmap == PCPU_GET(curpmap), ("non-current pmap %p", pmap));
-
 	lock = NULL;
 
 	SLIST_INIT(&free);