--- /n/sources/plan9/sys/src/9k/k10/mmu.c	Thu Jun 18 08:46:50 2026
+++ /sys/src/9k/k10/mmu.c	Thu Jun 18 00:00:00 2026
@@ -364,9 +364,6 @@ vmap(uintmem pa, usize size)
 
 	DBG("vmap(%#P, %lud)\n", pa, size);
 
-	if(m->machno != 0)
-		panic("vmap");
-
 	/*
 	 * This is incomplete; the checks are not comprehensive
 	 * enough.
@@ -415,9 +412,6 @@ vunmap(void* v, usize size)
 
 	DBG("vunmap(%#p, %lud)\n", v, size);
 
-	if(m->machno != 0)
-		panic("vunmap");
-
 	/*
 	 * See the comments above in vmap.
 	 */