--- src/sys/i386/i386/Attic/pmap.c	2005/11/14 18:50:03	1.53
+++ src/sys/i386/i386/Attic/pmap.c	2005/11/22 08:41:00	1.54
@@ -920,7 +920,7 @@ pmap_init_proc(struct proc *p, struct th
 	td->td_lwp = &p->p_lwp;
 	td->td_switch = cpu_heavy_switch;
 #ifdef SMP
-	td->td_mpcount = 1;
+	KKASSERT(td->td_mpcount == 1);
 #endif
 	bzero(p->p_addr, sizeof(*p->p_addr));
 }