Index: sys/kern/subr_pcu.c
===================================================================
RCS file: /cvsroot/src/sys/kern/subr_pcu.c,v
retrieving revision 1.16
diff -u -p -r1.16 subr_pcu.c
--- sys/kern/subr_pcu.c	26 Nov 2013 20:29:40 -0000	1.16
+++ sys/kern/subr_pcu.c	23 Jan 2014 17:21:46 -0000
@@ -352,7 +352,10 @@ pcu_load(const pcu_ops_t *pcu)
 	/* Does this CPU already have our PCU state loaded? */
 	if (ci == curci) {
 		KASSERT(curci->ci_pcu_curlwp[id] == l);
-		pcu->pcu_state_load(l, PCU_ENABLE);	/* Re-enable */
+		KASSERT(pcu_used_p(pcu));
+
+		/* Re-enable */
+		pcu->pcu_state_load(l, PCU_LOADED | PCU_ENABLE);
 		splx(s);
 		return;
 	}