183 	MPASS((i) > 0 && (i) <= w_max_used_index && (i) < witness_count)
417 int witness_count = WITNESS_COUNT;  variable
418 SYSCTL_INT(_debug_witness, OID_AUTO, witness_count, CTLFLAG_RDTUN, 
419     &witness_count, 0, "");
779 	sz = sizeof(struct witness) * witness_count;  in witness_startup_count()
780 	sz += sizeof(*w_rmatrix) * (witness_count + 1);  in witness_startup_count()
781 	sz += sizeof(*w_rmatrix[0]) * (witness_count + 1) *  in witness_startup_count()
782 	    (witness_count + 1);  in witness_startup_count()
803 	p += sizeof(struct witness) * witness_count;  in witness_startup()
806 	p += sizeof(*w_rmatrix) * (witness_count + 1);  in witness_startup()
808 	for (i = 0; i < witness_count + 1; i++) {  in witness_startup()
810 		p += sizeof(*w_rmatrix[i]) * (witness_count + 1);  in witness_startup()
812 	badstack_sbuf_size = witness_count * 256;  in witness_startup()
824 	for (i = witness_count - 1; i >= 0; i--) {  in witness_startup()
837 	for (i = 0; i < witness_count; i++) {  in witness_startup()
839 		    (witness_count + 1));  in witness_startup()
2186 	    index < witness_count);  in witness_get()