| version 1.21.2.2.2.2, 1999/07/04 01:37:45 |
version 1.21.2.2.2.3, 1999/08/02 22:19:14 |
|
|
| |
|
| #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. |
| */ |
*/ |