Index: sys/kern/subr_kcpuset.c
===================================================================
RCS file: /cvsroot/src/sys/kern/subr_kcpuset.c,v
retrieving revision 1.11
diff -u -r1.11 subr_kcpuset.c
--- sys/kern/subr_kcpuset.c	19 May 2014 20:39:23 -0000	1.11
+++ sys/kern/subr_kcpuset.c	21 Aug 2015 00:06:41 -0000
@@ -115,6 +115,8 @@
 	kc_nfields = (KC_MAXCPUS >> KC_SHIFT);
 	kc_bitsize = sizeof(uint32_t) * kc_nfields;
 	KASSERT(kc_nfields != 0 && kc_bitsize != 0);
+	aprint_normal("kc_nfields in kcpuset_sysinit 1: %zx\n", kc_nfields);
+	aprint_normal("kc_bitsize in kcpuset_sysinit 1: %zx\n", kc_bitsize);
 
 	kc_cache = pool_cache_init(sizeof(kcpuset_impl_t) + kc_bitsize,
 	    coherency_unit, 0, 0, "kcpuset", NULL, IPL_NONE, NULL, NULL, NULL);
@@ -139,6 +141,8 @@
 		 * Transfer the bits from early static storage to the kcpuset.
 		 */
 		KASSERT(kc_bitsize >= KC_BITSIZE_EARLY);
+		aprint_normal("kc_bitsize in kcpuset_sysinit 2: %zx\n", kc_bitsize);
+		aprint_normal("KC_BITSIZE_EARLY in kcpuset_sysinit 2: %lx\n", KC_BITSIZE_EARLY);
 		memcpy(kc_dynamic[i], &kc_bits_early[i], KC_BITSIZE_EARLY);
 
 		/*
@@ -164,6 +168,7 @@
 	kcpuset_t *kcp;
 	int s;
 
+	aprint_normal("kc_bitsize in kcpuset_early_ptr always: %zx\n", kc_bitsize);
 	s = splhigh();
 	if (kc_last_idx < KC_SAVE_NITEMS) {
 		/*
@@ -174,6 +179,8 @@
 		kcp = (kcpuset_t *)&kc_bits_early[kc_last_idx];
 		kc_last_idx++;
 		memset(kcp, 0, KC_BITSIZE_EARLY);
+		aprint_normal("kc_bitsize in kcpuset_early_ptr: %zx\n", kc_bitsize);
+		aprint_normal("KC_BITSIZE_EARLY in kcpuset_early_ptr: %lx\n", KC_BITSIZE_EARLY);
 		KASSERT(kc_bitsize == KC_BITSIZE_EARLY);
 	} else {
 		panic("kcpuset(9): all early-use entries exhausted; "