Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

===================================================================
RCS file: /ftp/cvs/cvsroot/src/sys/kern/subr_pool.c,v
retrieving revision 1.21.2.2.2.2
retrieving revision 1.21.2.2.2.3
diff -u -p -r1.21.2.2.2.2 -r1.21.2.2.2.3
--- src/sys/kern/subr_pool.c	1999/07/04 01:37:45	1.21.2.2.2.2
+++ src/sys/kern/subr_pool.c	1999/08/02 22:19:14	1.21.2.2.2.3
@@ -1,4 +1,4 @@
-/*	$NetBSD: subr_pool.c,v 1.21.2.2.2.2 1999/07/04 01:37:45 chs Exp $	*/
+/*	$NetBSD: subr_pool.c,v 1.21.2.2.2.3 1999/08/02 22:19:14 thorpej Exp $	*/
 
 /*-
  * Copyright (c) 1997, 1999 The NetBSD Foundation, Inc.
@@ -39,6 +39,7 @@
 
 #include "opt_pool.h"
 #include "opt_poollog.h"
+#include "opt_lockdebug.h"
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -837,6 +838,13 @@ _pool_put(pp, v, file, line)
 		panic("pool_put: %s: page header missing", pp->pr_wchan);
 	}
 
+#ifdef LOCKDEBUG
+	/*
+	 * Check if we're freeing a locked simple lock.
+	 */
+	simple_lock_freecheck((caddr_t)pi, ((caddr_t)pi) + pp->pr_size);
+#endif
+
 	/*
 	 * Return to item list.
 	 */