| version 1.27, 1999/06/06 22:20:15 |
version 1.28, 1999/07/27 21:31:17 |
|
|
| |
|
| #include "opt_pool.h" |
#include "opt_pool.h" |
| #include "opt_poollog.h" |
#include "opt_poollog.h" |
| |
#include "opt_lockdebug.h" |
| |
|
| #include <sys/param.h> |
#include <sys/param.h> |
| #include <sys/systm.h> |
#include <sys/systm.h> |
| Line 837 _pool_put(pp, v, file, line) |
|
| Line 838 _pool_put(pp, v, file, line) |
|
| panic("pool_put: %s: page header missing", pp->pr_wchan); |
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. |
* Return to item list. |
| */ |
*/ |